#include <cstdio>
#include<iostream>

using namespace std;
 
int main(void){

	int n;
	int ans[10001];
	ans[1]=2;

	for(int i=2;i<=10000;i++){
		ans[i]=ans[i-1]+i;
	}

	while(cin>>n){
		cout<<ans[n]<<endl;
	}

    return 0;
}