#include <stdio.h>
int main(void)
{
    int max,sum;
    scanf("%d",&max);
    sum= (1 +max)*(max - 1 + 1)/ 2;
    printf("%d\n",sum);
    return 0;
}