a = gets.chomp.to_i
ans = 0
while(a > 0)
  ans += a
  a -= 1
end
p ans