#include <stdio.h>

int main() {
    long a, n = 0;
    scanf("%ld", &n);
    a = 1;
    while(n-1){
        a = a + n;
        n--;
    }
    printf("%ld", a);
    return 0;
}