Item 3.1.16.c.

There is a number \(n\) for which no other number is either less \(n\) than or equal to \(n\text{.}\)

in-context