#include <stdio.h>


main(void){

int n;
scanf("%i",&n);
int sum=n;
while (n--){
sum+=n;
}
printf("%i\n",sum);
}