>>5,>>7
なら無理数の定義を述べよ