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