import strutils

let N = readLine(stdin).parseInt
var x: int

for i in 1..N:
    x += i
    
echo x