Does \$$F := \lfloor −/3\rfloor \$$ have a right adjoint \$$R : \mathbb{N} \rightarrow \mathbb{N} \$$ ?