#include <stdio.h>

int main(void)
{
    int a = 1;
    int i;
    int c = 0;
    scanf("%d",&i);
    while (a <= i) {
        c+=a;
        a++;
    }
    printf("%d\n",c);
    return 0;
}