#include<stdio.h>

int main(void){
int i,n,ans = 0;

scanf("%d",&n);

for(i=1;i<=n;i++){
ans = ans + i;
}

printf("%d\n",ans);
return 0;
}