#include <stdio.h>

typedef long long ll;

int main(void)
{
	ll n, i, ans = 0;

	scanf("%lld", &n);

	for (i = 1; i <= n; i++)
		ans += (n / i + 1) * (n / i) / 2 * i;

	printf("%lld", ans);
	return 0;
}