#include <bits/stdc++.h>
using namespace std;
#define int long long
signed main(){
  int N;
  cin>>N;
  cout<<(N+1)*(N+2)/2<<endl;
}