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