Proof that π is rational. | ScratchStats