b a ≥ 1 − 2 − ⋯ − n.

1