This seems like it might be true: if f is getting closer and closer to zero, as x grows towards infinity, then over time the later values will become a larger and larger portion of the total interval we're looking at, and so the average should look more and more like f(x) when x is large–that is, like 0. That's some intuition to start us out, but it isn't a rigorous argument. To be sure we haven't overlooked something, let's use the definition of an average to express A(x).
A(x)x→∞limA(x)If ∫0∞f(t)dt converges, then this limit is 0, and the statement is true. So, suppose it does not converge. Since f(x) is positive, that means x→∞lim∫0xf(t)d(t)=∞, so we can use l’Hoˆpital’s rule. To differentiate the numerator, we use the Fundamental Theorem of Calculus part 1.x→∞limA(x)=x1∫0xf(t)dt=x→∞limx1∫0xf(t)dt=x→∞limx∫0xf(t)dt=x→∞lim1f(t)=0
So, the statement is true whether ∫0xf(t)dt converges or not.