Redirecting to Proof that 22 over 7 exceeds π