The Wallis product for pi, proved geometrically · 3blue1brown · Sentinel