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