∑n≤xϕ⁡n=3π2⁢x2+O⁡x⁢log⁡x.