#include <stdio.h>
	int main(void){
		int i,number,sum;
		
		scanf("%d",&number);
		for(i = 1;i <= number; i++){
			sum += i;
		}
		printf("%d",sum);
	}