(imax+iminがint_maxを超える可能性が全くないと保証できる場合は問題ない。