This whole series of posts was motivated by a question from a former student of mine: whenever someone announces they've computed a bunch of digits of π, how do we know it's correct? As I pointed out ...