#include <stdio.h>
int main() {
  int a,f=0;
  scanf("%d", &a);
  for(int i=1;i<=a;i++){
    f+=i;
  }
  printf("%d\n", f);
}