A stronger extension of the Hardy inequality (Q1377511)

Verff. geben für die Hardy-Ungleichung \[ \sum^n_{k=1} \Biggl(\sum^k_{i=1} a_i\Biggr)^2/k^2+ B< 4 \sum^n_{k=1} a^2_k \] (\(n\geq 1\), \(a_i\in\mathbb{R}\), \(\sum a^2_i>0\), \(B=0\)) einen neuen, matrizentheoretischen Beweis einschließlich für die Minimalität des Faktors 4. Die Beweismethode ermöglicht eine Verschärfung der Ungleichung durch \(B= \left({2\over n}+ {1\over n^3}\right)\left( \sum^n_{k=1} a_k\right)^2\), wobei allerdings genau im Fall \(n=1\) noch das Gleichheitszeichen zugelassen werden muß.