Example 3.2.7.

Prove that \(\sqrt{2}\) is irrational.