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