#include <stdio.h>

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