#include <bits/stdc++.h>

int ri() {
    int n;
    scanf("%d", &n);
    return n;
}

int main() {
    int n = ri();
    printf("%d\n", (n + 1) * (n + 2) / 2);
    return 0;
}