#include<cstdio>

using namespace std;

int main(void){
	int n;
	while(scanf("%d", &n) != EOF ){
		int ans = 1;
		
		for(int i = 1; i <= n; i++){
			ans += i;
		
		}
		printf("%d\n",ans);
	}
	return 0;
}