#include    <stdio.h>

int main(void)
{
    int n;
    int sum;
    int i;

    scanf("%d", &n);

    sum = 0;
    for (i = 1; i <= 100 && i <= n; i++) {
        sum += i;
    }
    printf("%d\n", sum);

    return 0;
}