結果 : under root 2 is irrational number or not