π⁡(x)=⌊x⌋-1-∑pj≤x⌊xpj⌋+∑r≥2(-1)r⁢∑pj1<pj2<⋯<pjr≤x⌊xpj1⁢pj2⁢⋯⁢pjr⌋,