#include<iostream>
using namespace std;
int N,ans;
main()
{
    cin>>N;
    for(int i=0;i<=N;i++)ans+=N-i+1;
    cout<<ans<<endl;
}