n = int(input())

ans = (n + 2) * (n + 1) // 2
print(ans)