そもそも、一番難しい問題は存在するのか？
上に有界であったとしてもMaxが存在するとは限らないんだぞ。