#include <stdio.h>

int main(void)
{
    int max,sum;
    scanf("%d",&max);
    sum = (1 + max)* max /2;
    printf("%d",sum);
    return 0;
}