MaxN は存在しない
Max{n_i∈N|i∈{1,2,...,100}}は存在する
ここまで同意?