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