最大の正数を求めよ
無ければ無いことを証明せよ