#include<iostream>
int main()
{
int n;
int ans{0};
std::cin>>n;
for(int i=0; i <=n; ++n){
ans+=i;
}
std::cout<<ans;
return 0;
}