#include <bits/stdc++.h>
using namespace std;
int n;
void initInp() { scanf("%d", &n); }
long long siz(int n) {
  if (n == 1) return 1;
  long long tmp = n;
  return ((tmp + 1) * tmp) / 2;
}
int main() {
  initInp();
  long long ans;
  if (n < 4) {
    printf("0\n");
  } else {
    ans = 0;
    for (int num = 2; 2 * num <= n; num++) {
      int k = n / num;
      ans += 4 * (siz(k) - 1);
    }
    printf("%I64d\n", ans);
  }
  return 0;
}
