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).