#include<stdio.h>

int main(void){
 int N;
 scanf("%d", &N);
 printf("%d\n", N * (N + 1) / 2);
 return 0;
}