#include <bits/stdc++.h> using namespace std; int main() { int k; cin>>k; int t=0; int day=0; int n=1; while (day<k) { int d1=min(n,k-day); t+=d1*n; day+=d1; n++; } cout<<t<<endl; return 0; }