>>626 の被積分関数を変更して、ln(2)<0.7が示せるね。

∫[0→1]x^4*(1-x)^2/(1+x^2) dx = -ln(2) + 0.7