import strutils
let N = stdin.readline.parseInt
echo(N * (N + 1) div 2)