結局擁護派はもっちーがそういってるから、の1点張りなんだよな
オレがいってることは明快
10^20までの1400万通りの反例にたいして何を示したのか、という話
不等式と全然関係がなさそうじゃないか