#include <stdio.h>
int main(void){
    int N, sum = 0;
    scanf("%d", &N);
    while(N > 0){
        sum += N;
        N--;
    }
    printf("%d", sum);
}