28237
 13190
 39914
 81367
 8554
 61106
 67448
 39004
 22308
 16054
 71468
 60501
 100
 300
 59632
 90783
 5611
 1000
 69475
 69753
 10
 5
 582
 8
 36961
 5071
 20
 53213
 92775
 28738
 100000
 92280
 37944
 9
 2627
 7
 3

1028306548 224346172 2054738392 8539207488 94344524 4816051228 5867563092 1962150044 641839188 332342852 6587875268 4721174212 12600 115440 4586497300 10630118936 40580456 1286328 6225539588 6275533596 92 8 434692 52 1762017168 33141852 440 3652070664 11101694484 1065137992 12898363344 10983871880 1856988304 64 8885348 28 0
#include <bits/stdc++.h>
using namespace std;
long long int mn = 1e18;
long long int mx = -1e18;
const long long int mv = 100005;
const double pi = 3.141592653589793238462643;
long long int n, used[mv], res;
vector<long long int> g[mv];
void dfs(long long int v) {
  used[v] = 1;
  for (int i = 0; i < g[v].size(); i++) {
    long long int u = g[v][i];
    if (!used[u]) {
      res += (max(u, v) / min(u, v)) * 4;
      dfs(u);
    }
  }
}
int main() {
  ios_base::sync_with_stdio(NULL);
  cin.tie(NULL);
  cin >> n;
  for (int i = 2; i <= n; i++) {
    for (int j = i * 2; j <= n; j += i) {
      g[i].push_back(j);
      g[j].push_back(i);
    }
  }
  for (int i = 2; i <= n; i++) {
    if (!used[i]) {
      res = 0;
      dfs(i);
      mx = max(mx, res);
    }
  }
  cout << mx;
}
