Prime theorem (weak Riemann expectation)