@ong on pi
That's discussed in an episode of Sixty Symbols, right? From a few years ago?
I created a spreadsheet after watching that video and brute-force crunched numbers to show it was the case. However, since I let Excel do all the calculations, and I never worked out the algebra, I never revealed to myself where the pi comes from.
So I still don't know why pi shows up in that example.