We show the upper bound for Chebyshev's theorem. Around 9:20, I make a mistake and write theta(x)log x = pi(x). It should read theta(x) = pi(x)logx.
No download links available.