#include <stdio.h>

int
main(int argc, char** argv)
{
    int num;
    int sum = 0;
    scanf("%d", &num);
    sum = (num + 1) * num / 2;
    printf("%d", sum);
    return 0;
}