#include <bits/stdc++.h>
using namespace std;

int main(){
	int n;
	long long  dp[10001];
	dp[0] = 1;
	for(int i = 0; i < 10000; i++){
		dp[i + 1] = dp[i] + i+1;
	} 
	while(cin>>n){
		cout << dp[n]<<endl;
	}
	return 0;
}
