#include<stdio.h>

int main (void)
{
  int x;
  scanf("%d", &x);

  printf("%d\n", x*(x+1)/2);

  return(0);

}