Suppose we claim that there is no smallest number. We can translate this into symbols as

\begin{equation*} \neg \exists x \forall y (x \le y) \end{equation*}

(literally, “it is not true that there is a number \(x\) such that for all numbers \(y\text{,}\) \(x\) is less than or equal to \(y\)”).