#include <stdio.h>

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

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

    return 0;
}