n=gets.to_i
p -~n*n/2