>>402
(√2)^(2log[2](3))=3
これなら無理数性の証明まで十分高校レベル