π⁡x=x-1-∑pj≤xxpj+∑r≥2-1r⁢∑pj1<pj2<⋯<pjr≤xxpj1⁢pj2⁢⋯⁢pjr,