結果 : prove that 2 root 3 4 is an irrational number