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