#include <stdio.h>

int main(void){
int d=0;
int a;
int r=0;
int i;
int n;
scanf("%d",&n);
for(i=1;i<=n;i++){
	d+=i;
}

printf("%d\n",d);

return 0;
}