#include <bits/stdc++.h>
using namespace std;
int main() {
int a;
cin>>a;
cout<<a*(a+1)/2+1;
return 0;
}
#include <bits/stdc++.h>
using namespace std;
int main() {
int a;
cin>>a;
cout<<a*(a+1)/2+1;
return 0;
}