Prime theorem (wak Riemann expectation) lite