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