3.1との比較がなんで円周率の証明になるのかがまず自明じゃないだろ