Is anyone proving the pi_alt theorem

Stream: PrimeNumberTheorem+

[Junqi Liu]

Is anyone proving the pi_alt theorem in PrimeNumberTheoremAnd?

[Terence Tao]

ahhwuhu said:

Is anyone proving the pi_alt theorem in PrimeNumberTheoremAnd?

I believe that theorem is currently unclaimed.

[Junqi Liu]

Terence Tao said:

ahhwuhu said:

Is anyone proving the pi_alt theorem in PrimeNumberTheoremAnd?

I believe that theorem is currently unclaimed.

ok, let me take a look, we used this theorem when proving the irrationality of $\zeta(3)$. :joy: This is the only sorry left now.