Изменения
Нет описания правки
<tex> {\sum_{get} \limits}~ {\sum_{v:v \in get,v \in T3} \limits} 1/n = {\sum_v \limits ~\sum_{get: in ~ this ~ get ~ v \in T3} \limits } 1/n \le \sum_v \limits x^{R(v)} /n </tex>.
Из второго следствия второго утверждение утверждения следует <tex> {\sum_{get} \limits}~ {\sum_{v:v \in get,v \in T3} \limits} 1/n \le \sum_{Rank=0}^{log_{2}(n)} \limits {nx^{Rank} \over n 2^{Rank}n} </tex>.При <tex> x < 2~~~{\sum_{get} \limits}~ {\sum_{v:v \in get,v \in T3} \limits} 1/n < \le \sum_{Rank=0}^\infinity \limits {nx^{Rank} \over 2^{Rank} n} \le { 2 \over 2-x } = O(1) </tex>.
В результате <tex> S=O(1)+O(log^*(x))+O(1)=O(log^*(x)) </tex>.
В силу того что интервал <tex> (1,44...2) </tex> не пустой теорема доказана.
}}
