main(){
int a;
scanf("%d",&a);
printf("%d",(2+(a-1))*a/2);
}