Судя по виду функции, нужно доказать, что S(n) = b1 + b1 q + ... + b1 q^(n - 1).
База индукции. Для n = 1 равенство верно, сумма, состоящая из одного слагаемого, равна b1.
Переход. Пусть формула верна для n = k, докажем, что она верна для n = k + 1.
По принципу математической индукции формула справедлива для всех натуральных n.