（１）連続関数f(x)は、f'(x)>0,f(0)=1をみたす。このとき、a≧0,b≧1をみたす実数a,bに対して、
ab≦∫[0,a]f(x)dx+∫[1,b]f^(-1)(x)dx　が成り立つことを示せ。
ただし、f^(-1)(x)はf(x)の逆関数である。
（２）logπは1.13より大きいことを示せ。ただし、π=3.14・・・、e=2.71・・・とする。

(1)はy=f(x)とおいて、∫[1,b]f^(-1)(x)dx=∫[1,b]g(y)dy（ただしy=f(x)⇔x=g(y))であることから
証明しようと思ったんですが、答案にどう書けばいいかわかりません・・・
(2)は(1)を使うためにlogπを変形する、ということだと思うんですが・・・
ご教授のほどよろしくお願いします。