import strutils
let N = stdin.readLine.parseInt
var ttl = 0
for i in 1 .. N:
  ttl += i
echo ttl