#include <stdio.h>

main() {
    int max;
    int sum = 0;
    scanf("%d", &max);
    
    for (int j = 1; j <= max; j++) {
        sum += j;
    }
    
    printf("%d\n", sum);
}