Bài tập 15, § 9

Đặt N = Card(R$_+$)$,c=\prod_{\alpha\in R_+}\langle \rho , H_{\alpha}\rangle$, và $d(\lambda ) =$ dim $E(\lambda )$ nếu $\lambda \in P_{++}$.

Chứng minh rằng, với mọi số thực $s >0$,

Suy ra rằng $\sum_{\lambda\in P_{++}}d(\lambda )^{-s}<+\infty$ nếu $s >1$.