結果 : show that under root 2 is an irrational number