Almost finish proving the square root of 2 isn't rational. We need to prove the principle of infinite descent
Almost finish proving the square root of 2 isn't rational. We need to prove the principle of infinite descent

nham/math_notes,nham/math_notes