272
правки
Изменения
Нет описания правки
{{Утверждение
|statement='''Лемма.''' <tex> a_i </tex> входит в сумму для <tex> f_k t_k </tex>, если <tex> \exists j: k = i \vee \cdots(1 \cdots 1) j </tex> раз.
|proof=Для доказательства леммы рассмотрим битовую запись следующих чисел: <tex> k - 2^{h(k) + 1} \leq i \leq k </tex>
* <tex> k - 2^{h(k) + 1} \rightarrow \cdots (0 \cdots 0) </tex> <br/>
