>>730
整数→有理数→実数乗と証明するくらい高校生でもできるだろ