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