def jc(n):
    ans=1;
    for i in range(n):
        ans=ans*i
sss=int(input())
print((1+jc(sss))*sss/2)