>>255
任意の正数について成り立つから証明になってるよ