limx→∞⁡∑n≤xμ⁡(n)n=0,