#include <stdio.h>

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