>>294
√2は無理数だから自明