import strutils
let n = stdin.readLine.parseInt
echo n * (n + 1) div 2