STDIN = input()

# CONVERT TO INT
STDIN_INT = int(STDIN)
output = 0
loop = 0
while loop <= STDIN_INT:
    output += loop
    loop += 1

print(output)