#include <iostream>
using namespace std;
int dp[100000];
int main() {
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;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKaW50IGRwWzEwMDAwMF07CgppbnQgbWFpbigpIHsKCQoJaW50IG47CgkKCWNpbiA+PiBuOwoJCglkcFswXSA9IG47CgkKCWZvciAoaW50IGkgPSAxOyBpIDwgMTAwMDAwOyBpKyspIHsKCQlkcFtpXSA9IGkgKyBkcFtpIC0gMV07Cgl9CgkKCWNvdXQgPDwgZHBbMTAwMDAwIC0gMV0gPDwgZW5kbDsKCQoJcmV0dXJuIDA7Cn0=