По индукции:

  1. Для n = 1: работает ✅
  2. Предположим, что работает для :
  • Если , то очевидно
  • Если , то произведение всё ещё будет неотрицательно
    Если убрать неотрицательный член из суммы, то сумма не возрастёт