Proof that 22/7 exceeds pi