[math-fun] the 2Qth bit of pi is 0