Theorem

There does not exist a rational number such that .

Proof