#include<iostream>
using namespace std;
__int64 a,n;
int main()
{
cin>>n;
a = n*(n+1);
a/=2;
a++;
cout<<a<<endl;
return 0;
}
#include<iostream>
using namespace std;
__int64 a,n;
int main()
{
cin>>n;
a = n*(n+1);
a/=2;
a++;
cout<<a<<endl;
return 0;
}