#include <stdio.h>

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

    scanf("%d", &A);
    
    for(i=1;i>A;i++)
    {
        B+=i;
    }
    
    printf("%d", B);

    return 0;
}