#include<bits/stdc++.h> using namespace std; int main() { long long n; cin >> n; long long a[n + 1] = {0, 2, 4, 7}; for(int i = 4; i <= n + 1; i++) { a[i] = a[i - 1] + i; } cout << a[n]; return 0; }