検証は、円周率の16進数表現の任意の桁を
求めることができる公式を使ってやるらしいね