#include<stdio.h>

int main(){
  int i,n;
  int sum = 0;
  scanf("%d", &n);
  for(i=0; i <= n; i++){
    sum += i;
  }
  printf("%d\n", sum);
  return 0;
}