#include <iostream>
using namespace std ;

int main(){
	
	int ans[10010] = {};
	ans[0] = 1;
	for( int i=1 ; i<=10000 ; i++ ){
		ans[i] = ans[i-1] + i ;
	}
	
	int N;
	while( cin >> N ){
		if( cin.eof() ) break ;
		cout << ans[N] << endl ;
	}
	
	return 0 ;
}