#include <stdio.h>

int main() {
    long long a;
    scanf("%d",&a);
    long long sum=a;
    while (a) {
        sum+=(a-1);
        a--;
    }
    printf("%lld",sum);
    return 0;
}