#include <stdio.h>

int main(void) {
  long long i, j, k, n, ans[10010];
  ans[1] = 2;
  for(i = 2; i < 10010; ++i) ans[i] = ans[i - 1] + i;
  while(scanf("%lld", &n) != EOF) {
    printf("%lld\n", ans[n]);
  }
  return 0;
} 
