>>577
上限とやらの定義をちゃんと書けないのが証明