#include <stdio.h>

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