int_maxを考える