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