[Merged by Bors] - feat(NumberTheory/Chebyshev): express the Chebyshev theta function in terms of the prime counting function

[Merged by Bors] - feat(NumberTheory/Chebyshev): express the Chebyshev theta function in terms of the prime counting function #4837