誘導があるせいで普通の難易度になってるな
円周率の無理性の証明を経験してれば悩むところもない