#include <stdio.h>

int main(void)
{
  int n;
  int i;
  int result = 0;

  scanf("%d", &n);

  for(i = 0; i < n; i++)
    result += (i + 1);

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

  return(0);
}