n = gets.strip.to_i
p (1..n).to_a.inject(:+)