Proof that 22/7 exceeds π | Hacker News Reader