#include <bits/stdc++.h>
const int maxn = 0x3f3f3f3f;
const long long inf = 0x3f3f3f3f3f3f3f3f;
const double EI =
    2.71828182845904523536028747135266249775724709369995957496696762772407663035354594571382178525166427;
const double PI = 3.141592653589793238462643383279;
using namespace std;
int main(void) {
  int n, i;
  long long ans;
  while (~scanf("%d", &n)) {
    ans = 0;
    for (i = 2; i <= n; i++) {
      ans += 1ll * (n / i - 1) * i;
    }
    printf("%lld\n", ans * 4);
  }
  return 0;
}
