https://subethasoftware.com/2020/10/29/pi-problems/