#include<stdio.h>

int main(void){
    int num;
    int i;
    long sum = 0;
    
    scanf("%d", &num);
    for(i=1;i<=num;i++){
        sum += i;
    }
    printf("%ld", sum);
    
    return 0;
}