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