#include <stdio.h>
int main(void){
  int result = 0;
  int i;
  int N;
  scanf("%d", &N);
  for(i=1; i<=N; i++){
    result += i;
  }
  printf("%d", result);
  return 0;
}