import strutils as str proc InternalSum(n: int): int = var res = 0 for i in countup(1, n): res = res + i return res echo InternalSum(str.parseInt(stdin.readLine()))