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