n

Lemma 1.1.

Theorem 2.6.

Lemma 1.2. (exact value)