#include <stdio.h>

int one_to_n(int);

int main(void)
{
  int n;

  scanf("%d", &n);
  printf("%d\n", one_to_n(n));

  return 0;
}

int one_to_n(int n)
{
  return n + one_to_n(n - 1);
}