#include <stdio.h>
//#include <stdlib.h>

int main(int argc, char *argv[])
{
  //int n = atoi(argv[1]);
  int n = 0;
  int i;
  int result = 0;

  scanf("%d", &n);
  //  printf("%d\n", n);
  for(i = 0; i < n; i++)
    result += (i + 1);

  printf("result:%d\n", result);

  return(0);
}