Analytic Number Theory/The Chebychev ψ and ϑ functions

Note: The current proof gives an inferior error term. A subsequent version will redeem this issue. (Given the Riemann hypothesis, the error term can be made even smaller.)