Square root/2/Irrational/Fact

< Square root < 2 < Irrational
Irrationality of the square root of 2
There does not exist a rational number such that its square equals .

This means that the real number is irrational.