Изменения
→Анализ реализации с ранговой эвристикой
Из второго следствия второго утверждения следует:
<center> <tex>
{\sum_{\mathrm{get}} \limits}~ {\sum_{v:v \in \mathrm{get},v \in T_3} \limits} 1/a \leqslant \sum_{Rank=0}^{\log_2a} \limits {\dfrac {ax^{Rank} \over } {2^{Rank} a}}
</tex>.</center>
{\sum_{\mathrm{get}} \limits}~ {\sum_{v:v \in \mathrm{get},v \in T_3} \limits} 1/a
\leqslant
\sum_{Rank=0}^{\log_2a} \limits {\dfrac {x^{Rank} \over } {2^{Rank}}}
\leqslant
\sum_{Rank=0}^\infty \limits {\dfrac {x^{Rank} \over } {2^{Rank}}}
\leqslant
{ \dfrac { 2 \over } {2-x } } = \mathrm{O(1)}
</tex>.</center>
