https://geekdad.com/2011/03/pi-at-mit-bitter-or-sweet/