import strutils

let n: int = readLine(stdin).parseInt()
echo n * (n + 1) div 2