Prove the principle of infinite descent
Initial notes on real numbers