#include <stdio.h>

int main(void) {
    int N = 1;
    int sum = 0;
    scanf("%d", &N);

    for (int i = 1; i <= N; i++) {
        sum = sum + i;
    }

    printf("%d", sum);

    return 0;
}