Soit eps>0, il existe A>0 : x>A ==> |f(x)-a|<eps où a est la limite de f en +00
il existe B>A : int ( B,+00) |f(x)| dx<eps car f intégrable sur [0,+oo[
Alors, qqs x dans [B,B+1], |a|< eps+|f(x)| et en intégrant sur l'intervalle [B,B+1] on a donc
|a| < eps+ int ( B,B+1) |f(x)| dx< eps+ int ( B,+00) |f(x)| dx< 2 eps , qqs eps >0 ==> a=0