import sys
readline=sys.stdin.readline

N=int(readline())
ans=N*(N+1)//2
print(ans)