The Wallis product for pi, proved geometrically | Hacker News Reader