当x趋近∞时，素数定理渐近等价于π(x)~Li(x)。