#include <bits/stdc++.h>
typedef long long int ll;
using namespace std;
class s {
public:
ll sm(ll n) {
if(n==0) return 0;
return n+sm(n-1);
}
};
int main() {
ll n;
cin>>n;
s sol;
cout<<sol.sm(n)<<endl;
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnR5cGVkZWYgbG9uZyBsb25nIGludCBsbDsKdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCmNsYXNzIHMgewpwdWJsaWM6CiAgICBsbCBzbShsbCBuKSB7CiAgICAgICAgaWYobj09MCkgcmV0dXJuIDA7CiAgICAgICAgcmV0dXJuIG4rc20obi0xKTsKICAgIH0KfTsKCmludCBtYWluKCkgewogICAgbGwgbjsKICAgIGNpbj4+bjsKICAgIHMgc29sOwogICAgY291dDw8c29sLnNtKG4pPDxlbmRsOwogICAgcmV0dXJuIDA7Cn0K