Изменения

}}

Стоит отметить, что если <tex>|S| > 2^{k - 1}</tex>, то <tex>P</tex> может выбрать <tex>C \subseteq S</tex> так, чтобы <tex>K \le C \le 2^{k - 1}</tex>. А значит, в качестве оценки вероятности можно воспользоваться <tex>\frac{3}{4}p</tex>.

Итого:

# если <tex>|S| \le \frac{K}{2}</tex>, то <tex>P[|S| \ge K] \le \frac{p}{2}</tex>.