>>714
∫[0,a]f(x)dx+∫[1,b]f^(-1)(x)dx
は
∫[0,a]f(x)dx+∫[1,b]f^(-1)(y)dy
に代えちゃっても良いよね。
それでx∈[0,a]で常にf(x)≦bのときは等号成立、f(x)>bのxがあるとabより大きいかな。