Computing the best constant in classical Hardy's inequality Classical Hardy's inequality (cfr. Hardy-Littlewood-Polya Inequalities, Theorem 327)
If $p>1$, $f(x) \ge 0$ and $F(x)=\int_0^xf(y)\, dy$ then 
$$\tag{H} \int_0^\infty \left(\frac{F(x)}{x}\right)^p\, dx < C\int_0^\infty (f(x))^p\, dx $$
unless $f \equiv 0$. The best possibile constant is $C=\left(\frac{p}{p-1}\right)^p$. 
I would like to prove the statement in italic regarding the best constant. As already noted by Will Jagy here, the book suggests stress-testing the inequality with 
$$f(x)=\begin{cases} 0 & 0\le x <1 \\ x^{-\alpha} & 1\le x \end{cases}$$ 
with $1/p< \alpha < 1$, then have $\alpha \to 1/p$. If I do so I get for $C$ the lower bound
$$\operatorname{lim sup}_{\alpha \to 1/p}\frac{\alpha p -1}{(1-\alpha)^p}\int_1^\infty (x^{-\alpha}-x^{-1})^p\, dx\le C$$
but now I find myself in trouble in computing that lim sup. Can someone lend me a hand, please?

UPDATE: A first attempt, based on an idea by Davide Giraudo, unfortunately failed. Davide pointed out that the claim would easily follow from 
$$\tag{!!} \left\lvert \int_1^\infty (x^{-\alpha}-x^{-1})^p\, dx - \int_1^\infty x^{-\alpha p }\, dx\right\rvert \to 0\quad \text{as}\ \alpha \to 1/p. $$
But this is false in general: for example if $p=2$ we get 
$$\int_1^\infty (x^{-2\alpha} -x^{-2\alpha} + 2x^{-\alpha-1}-x^{-2})\, dx \to \int_1^\infty(2x^{-3/2}-x^{-2})\, dx \ne 0.$$


We have the operator $T: L^p(\mathbb{R}^+) \to L^p(\mathbb{R}^+)$ with $p \in (1, \infty)$, defined by$$(Tf)(x) := {1\over x} \int_0^x f(t)\,dt.$$Calculate $\|T\|$.

For the operator $T$ defined above, the operator norm is $p/(p - 1)$. We will also note that this is also a bounded operator for $p = \infty$, but not for $p = 1$.
Assume $1 < p < \infty$, and let $q$ be the dual exponent, $1/p + 1/q = 1$. By the theorem often referred to as "converse Hölder,"$$\|Tf\|_p = \sup_{\|g\|_q = 1}\left|\int_0^\infty (Tf)(x)g(x)\,dx\right|.$$So, assume that$\|g\|_q = 1$,\begin{align*} \left| \int_0^\infty (Tf)(x)g(x)\,dx\right| & \le \int_0^\infty |Tf(x)||g(x)|\,dx \le \int_0^\infty \int_0^x {1\over x}|f(t)||g(x)|\,dt\,dx \\ & = \int_0^\infty \int_0^1 |f(ux)||g(x)|\,du\,dx = \int_0^1 \int_0^\infty |f(ux)||g(x)|\,dx\,du \\ & \le \int_0^1 \left(\int_0^\infty |f(ux)|^pdx\right)^{1\over p} \left(\int_0^\infty |g(x)|^q dx\right)^{1\over q}du \\ & = \int_0^1 u^{-{1\over p}}\|f\|_p \|g\|_q du = {p\over{p - 1}}\|f\|_p.\end{align*}So that gives us that the operator norm is at most $p/(p - 1)$. To show that this is tight, let $f(x) = 1$ on $(0, 1]$ and zero otherwise. We have $\|f\|_p = 1$ for all $p$. We can then compute that$$(Tf)(x) = \begin{cases} 1 & 0 < x \le 1 \\ {1\over x} & x > 1\end{cases}$$and by direct computation, $\|Tf\|_p = p/(p - 1)$ for $p > 1$.
The same example also shows that we can have $f \in L^1$ but $Tf \notin L^1$, so we must restrict to $p > 1$. However, it is straightforward to show that $T$ is bounded from $L^\infty \to L^\infty$ with norm $1$. Note that the range of the operator in that case is contained within the bounded continuous functions on $(0, \infty)$.
