>>240
いや、残念ながら雨宮の問題で仮定できるのは正値だけ、上の有界性は仮定できないのです。