это просто начальное значение. По условию в последовательности все числа натуральные, т.е. больше 0. Это значит, что за начальное значение max нужно взять любое, меньшее чем самое маленькое натуральное, т.е. меньше 1. Можно взять и 0. Для x значение -1 нужно для того, чтобы программа "зашла в цикл", т.к. условие работы цикла "пока x не равен 0". Здесь можно взять за начальное значение любое, кроме 0.