#include <stdio.h>
int main(){
    //input
    int N;
    scanf("%d",&N);

    //total
    int total = 0;
    for (int i = 1;i <= N;i++){
        total += i;
    }

    //output
    printf("%d\n",total);
    return 0;
}