>=∫[t=0,∞](2t/(t^2+9))*2/(2t))dt
>=[log(t^2+9)*log(1/(2t))][t=0,∞]

それにしても、これはひどい。