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