MathDB
$\sqrt 2$

Source:

June 7, 2021
number theory

Problem Statement

Prove that 2\sqrt 2 is irrational.