Item 3.1.16.c.

There is a number \(n\) for which every other number is strictly greater than \(n\text{.}\)

in-context