#include <stdio.h>

int main(int argc, char *argv[]){
    int A, B;

    scanf("%d", &A);
    
    B = A*(A+1)/2;
    
    printf("%d", B);

    return 0;
}