Definition

For any positive real number , there exists a positive integer such that is less than or equal to

Proof

Let , then Since is not bounded above, It is a contradiction