Input (grade 8): The square root of 2 was the first number to be proved irrational and that article contains a number of proofs.
Output (grade 8): This is an irrational number. In decimal for it is written as 1.414213... Mathematicians have proved that the square root of every natural number is either an integer or an irrational number.