>>445
検索できました。ありがとうございます

・ペロンのパラドックス
最適化問題の解が存在すると仮定することの危険性を説明するために、 ペロンのパラドックスを導入

N を最大の正の整数と仮定
N > 1 の場合、N^2 > N であるので成り立たない
したがって、N = 1 である