In 3c, you need to consider two cases separately:

  Case 1:   Two (or more) of the b_i are equal
  Case 2:   The b_i are all distinct (i.e. not equal).

The claim is true in both cases, but the reasoning is a bit different.