#include <stdio.h> 
int main() {
    int i, j = 0, N;
    scanf("%d", &N);
    for(i = 1; i <= N; i++) {
        j += i;
    }
    printf("%d\n", j);
    return 0;
}