n1 - это сумма значений функции n от двух тысяч точек. n2 - это значение функции n в одной точке. n1 может равняться n2, а может и не равняться.

С какой стати Гарри решил, что причинение незначительных страданий нескольким тысячам существ более нежелательно, чем причинение значительных страданий одному существу? Конкретный вид своей функции нежелательности Гарри не сообщил, только упомянул об умножении, что может свидетельствовать в пользу того, что Гарри считает её линейной.

Нежелательность не обязана быть линейной. Не все функции являются линейными. Например, существует квадратичная функция, обозначим её f. f(2) + f(2) = 4 + 4 = 8, это не равно f(2+2) = f(4) = 16.