#include <iostream>
#include<vector>
using namespace std;
int main() {
int n;
cin>>n;
vector<vector<int>> dp(n+1,vector<int>(n+1,0));
for(int i=1;i<=n;i++) dp[i]=i;
for(int i=1;i<=n;i++) {
    dp[i]=dp[i-1]+dp[i];
}
cout<<dp[n];
}