{w_n} は正の実数からなる単調減少数列で、 w_n → 0 （n → ∞） をみたすとする。

{z_n} を複素数列とする。

S_n = z_1 + … + z_n とする。

{S_n} は有界であるとする。

(1)
Σ z_n*w_n は収束することを示せ。

(2)
T := Σ z_n*w_n
M := sup{ |S_n| | n ∈ {1, 2, …}}

とする。

|T| ≦ M * w_1

であることを示せ。