Abel summability of integrals In Introduction to Fourier Analysis on Euclidean Spaces by Stein and Weiss, there is the following footnote on page 5 (the integral referred to is the integral of $\sin(x)/x$) on $[0,\infty)$):

As is well known, in this case the limit $\lim_{p\rightarrow\infty} \int_0^p f(x)\ dx$ exists. It is an easy exercise to show that whenever $f$ is locally integrable and such a limit, $l$, exists the Abel means $A_\epsilon =\int_0^\infty e^{-\epsilon x}f(x) \ dx$ converge to $l$.

The limit is of course taken as $\epsilon$ tends to $0$, and we are using Lesbegue integrals.
Unfortunately, I am not finding this to be an easy exercise. Break each interval $[n,n+1]$ into $2^n$ pieces. Consider the function that is alternately $2^{n/2}$ and $-2^{n/2}$ on these intervals. This is conditionally convergent, but the Abel means don't converge for small $\epsilon$.
Either I made a mistake with this counterexample, or the theorem requires more hypotheses. Could I please get a few hints? 
 A: No further assumption is required if we understand the defining integral in Laplace transform as an improper one. Indeed, the following proposition holds.

Proposition. Assume $f$ is locally integrable on $(0, \infty)$ and the improper integral
$$\int_{0}^{\infty} f(x) \; dx := \lim_{p\to\infty} \int_{0}^{p} f(x) \; dx$$
exists. Then its Laplace transform
$$ A_{s} = \mathcal{L}f(s) := \int_{0}^{\infty} f(x)\,e^{-sx} \; dx = \lim_{p\to\infty} \int_{0}^{p} f(x)\,e^{-sx} \; dx $$
exists for $s \geq 0$ and
$$\lim_{s\downarrow 0}A_{s} = A_{0} = \int_{0}^{\infty} f(x) \; dx.$$

For the proof, let $h(x) = \int_{0}^{x} f(t) \; dt$. Then $h(x)$ is absolutely integrable, and is bounded since the limit $h(\infty) := \lim_{p\to\infty} h(p)$ exists. By integration by parts, we have
$$ \begin{align*}
\int_{0}^{p} f(x)\,e^{-sx}\;dx
&= \left[h(x)\,e^{-sx}\right]_{0}^{p} + s \int_{0}^{p} h(x) \, e^{-sx} \; dx \\
&= h(p)\,e^{-sp} + s \int_{0}^{p} h(x) \, e^{-sx} \; dx.
\end{align*} $$
Here, note that 
$$ |h(x) \, e^{-sx}| \leq \| h \|_{L^{\infty}} e^{-sx}. $$
Thus by Lebesgue's dominated convergence theorem, we have
$$\lim_{p\to\infty} \int_{0}^{p} f(x)\,e^{-sx}\;dx = s \int_{0}^{\infty} h(x) \, e^{-sx} \; dx. $$
This proves the existence of $A_{s}$. To prove that $A_{s} \to A_{0}$ as $s \downarrow 0$, we observe that
$$ F(0) = h(\infty) = s \int_{0}^{\infty} h(\infty) \, e^{-sx} \; dx. $$
Thus we have
$$ \begin{align*}
|A_{s} - A_{0}|
&\leq s \int_{0}^{\infty} |h(x) - h(\infty)| \, e^{-sx} \; dx \\
&= \int_{0}^{\infty} |h(u/s) - h(\infty)| \, e^{-u} \; du. \qquad(u = sx) \end{align*}$$
Since this integrand is bounded by the dominating function $2\|h\|_{L^{\infty}} \,e^{-u}$, we can apply Lebesgue's dominated convergence theorem again, yielding
$$\lim_{s\downarrow 0} |A_{s} - A_{0}| \leq \int_{0}^{\infty} \lim_{s\downarrow 0} |h(u/s) - h(\infty)| \, e^{-u} \; du = 0.$$
Therefore $A_{s} \to A_{0}$ as desired.

Of course, in the reference book the Laplace transform is defined as a Lebesgue integral sense. Even in this case, only a mild auxiliary condition, such as
$$f(x) = O(e^{\epsilon x}) \quad \text{for all} \ \epsilon > 0$$
or
$$\int_{0}^{x} |f(t)| \; dt = O(e^{\epsilon x}) \quad \text{for all} \ \epsilon > 0$$
guarantees the proposition, since we only need to show that the improper integral defining $A_{s}$ in fact converges in a Lebesgue sense. Actually, as you read that page, you will find that the book also requires some conditions on $f$ so that $A_{\epsilon}$ is defined for all $\epsilon > 0$.
A: I think the proof given by sos440 requires $f$ to be continuous, since we need to take the derivative of $h$ in the integation by parts. To generalize the proof to the case that $f$ is only locally integrable, one can prove first $h$ is differentiable in the $L^1_{loc}$ sense, and the derivative is just $f$. Then we generalize also the integration by parts to show
$$
\int_0^\infty f(x)e^{-\epsilon x} dx = \epsilon \int_0^\infty h(x) e^{-\epsilon x} dx
$$
The rest of the proof remains the same.
