import sys


def resolve(in_):
    N = int(next(in_))

    ans = sum(n for n in range(1, N + 1))
    return ans

def main():
    ans = resolve(sys.stdin.buffer)
    print(ans)


if __name__ == '__main__':
    main()