#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
const int maxn=1e5+10;

int main()
{
    ll ans,n,i;
    scanf("%lld",&n);
    ans=0;
    for(i=2;i<=n;i++){
        ans+=(4ll*(n/i-1))*i;
    }
    printf("%lld\n",ans);
    return 0;
}