#include <iostream>

int main() {
    std::ios::sync_with_stdio(false);
    std::cin.tie(0);

    int n;

    while (std::cin >> n) {
        int ans = 2;
        for (int i = 2; i <= n; ++i) {
            ans += i;
        }
        std::cout << ans << std::endl;
    }

    return 0;
}