a short thread on (1/pi)*arctan(sqrt(2)-1) Posted on 2022/01/04 by Carl Robitaille a short thread on (1/pi)*arctan(sqrt(2)-1):1/8— Daniel Litt (@littmath) December 15, 2021