$$ \exist n\in\mathbb{N} (\forall m\in\mathbb{N} m\leq n) $$