1. No category

π が無理数であることを証明します. 高校数学だけを前提に説明するので