#include <stdio.h>

int main(void) {
    int n, s;
    scanf("%d", &n);

    s = (n * (n + 1)) / 2;
    printf("%d\n", s);
    return 0;
}