# https://yukicoder.me/problems/no/480
import strutils

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