#include <stdio.h>

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