#include<bits/stdc++.h>
#include<iostream>
#include<stdio.h>
// 填上你觉得需要的其他头文件
using namespace std;
int a[1100],b,s,k;
int main() {
    int i2 = 0;
    cin >> k;
    for (int i = 1; i <= 1005;) {
        b++;
        for (int j = 1; j <= b; j++) {
            a[i] = b;
            i++;
        }
            
            
            
    }
    for (int i = 1; i <= k; i++) {
        
        s += a[i];

    }
    cout << s;
    return 0;
}