n = gets.to_i s = 0 for i in 1..n s+=i end puts s