>>72
上限であることを示すにはそれ以下であることと
それより小さいものをとるとその小さいもの以上のものが
あることを示せばいい。