ans = 0
(1..gets.to_i).each do |n|
  ans += n
end
puts ans