n = gets.to_i;
n * (n + 1) / 2