"The 40 billionth binary digit of pi is 1", D. Bailey and P. Borwein.