import strutils proc main() = let n = stdin.readLine.parseInt echo n*(n+1) div 2 when isMainModule: main()