outofculture comments on Probability is Subjectively Objective

[outofculture]

Beside the point, but you can calculate arbitrary digits of pi with the formula explained in this article.