В данном фрагменте программы описана работа оператора цикла "пока" (while). Выполняется очередной проход цикла, пока s≤35. На входе цикла n=0, s=0. При первом проходе  к s прибавляем 4. n показывает сколько проходов было в цикле (это счетчик). Цикл перестанет выполняться, когда s станет равной 36. Значит,последний цикл, когда на входе s=32 (32 кратно 4-м и <36). При последнем проходе на выходеs=36. 36\4=9 - количество проходов в цикле, а это и есть n.