#include<iostream>
#include<cstdio>
using namespace std;
int main(){
    int n;
    while(scanf("%d",&n)!=EOF){
        int a = 1;
        for(int i = 1;i <= n; i++){
            a += i;
        }
        printf("%d\n",a);
    }
    return 0;
}