#include <stdio.h>

int main() {
    int n, cnt = 0;
    scanf("%d", &n);
    printf("%d", (1 + n) * n / 2);
    return 0;
    while (0) {
    }
}