#include <bits/stdc++.h>
using namespace std;
int main() {
int n, res = 2;
cin >> n;
if (n == 0) {
cout << 0;
} else {
for (int i = 2; i <= n; i++) {
res += i;
}
cout << res;
}
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CgoKaW50IG1haW4oKSB7CglpbnQgbiwgcmVzID0gMjsKCWNpbiA+PiBuOwoJCglpZiAobiA9PSAwKSB7CgkJY291dCA8PCAwOwoJfSBlbHNlIHsKCQlmb3IgKGludCBpID0gMjsgaSA8PSBuOyBpKyspIHsKCQkJcmVzICs9IGk7CgkJfQoJCQoJCWNvdXQgPDwgcmVzOwoJfQoJCiAJcmV0dXJuIDA7Cn0=