そもそもa/bが有理数でないと最大値持たないケースも出るし
愚問