The following rather surprising result is noted.
(1) A function f(z) = ∑anzn such that an ↓ 0 (n → ∞) belongs to H1 if and only if ∑(an/(n + 1)) < ∞.
A more subtle analysis is needed to prove that assertion (2) remains true if H1 is replaced by the predual, 1(⊂ H1), of the Bloch space. Assertion (1) extends the Hardy–Littlewood theorem, which says the following.
(2) f belongs to Hp (1 < p < ∞) if and only if ∑(n + 1)p−2anp < ∞.
A new proof of (2) is given and applications of (1) and (2) to the Libera transform of functions with positive coefficients are presented. The fact that the Libera operator does not map H1 to H1 is improved by proving that it does not map 1 into H1.