#include <stdio.h>
#include <stdint.h>

int32_t main() {
  uint32_t n;
  scanf("%u", &n);
  const uint32_t x = (n + 1) * (n + 2) / 2;
  printf("%u", x);
}