#include <stdio.h>

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

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

    return 0;
}