>>239
√2の定義くらい中学で習うから