#include <iostream>
#include <vector>
using namespace std;
int main() {
vector<int> dp(100000);
int n;
cin >> n;
dp[0] = n;
for (int i = 1; i < 100000; i++) {
dp[i] = i + dp[i - 1];
}
cout << dp[100000 - 1] << endl;
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8dmVjdG9yPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKaW50IG1haW4oKSB7CgkKCXZlY3RvcjxpbnQ+IGRwKDEwMDAwMCk7CgkKCWludCBuOwoJCgljaW4gPj4gbjsKCQoJZHBbMF0gPSBuOwoJCglmb3IgKGludCBpID0gMTsgaSA8IDEwMDAwMDsgaSsrKSB7CgkJZHBbaV0gPSBpICsgZHBbaSAtIDFdOwoJfQoJCgljb3V0IDw8IGRwWzEwMDAwMCAtIDFdIDw8IGVuZGw7CgkKCXJldHVybiAwOwp9