[math-fun] Today is the picentennial (correction)