>>28
それをルート2と定義したのがすうがくなんですけど