Pr-1st-1.1-m10-Slajd16

Dowód lematu 10.1.4

Z definicji, $S C^{* *}$ jest sumą liczników $s c_{i} (τ i)$ , przy czym dla każdego $i \in {1, 2, . . ., n}, τ_{b}^{2} \leq τ_{i} \leq τ_{e}^{2}$ .

Z kolei, $S C (τ_{b}^{2})$ jest sumą liczników $s c_{i} (τ_{b}^{2})$ .