Simplify double-counting inequality.
Beca使用 b≥3 b\ge3b≥3, divide combined inequality 由positive quantity ab(b−1)/2 a b(b-1)/2ab(b−1)/2. Th是gives exactly k/a≥(b−1)/(2b) k/a\ge(b-1)/(2b)k/a≥(b−1)/(2b).