Redirecting to Proof that 22/7 exceeds π