include <stdio.h>

int main() {

int n;
scanf("%d", &n);
int max = (n * n + n + 2) / 2;
printf("%d\n", max);
return 0;

}