このスレで円周率が無理数であることの証明を理解できるやつは何人くらいいるかな