User:Caliburn/s

Progress List
Feel free to finish these off and move to mainspace if you want


 * /1 - uniformly convergent sequence of continuous functions is equicontinuous
 * /2 - arithmetic average of $\psi$
 * /3 - equicontinuous family of functions on compact space is equicontinuous
 * /4 - bounds for $\pi$ in terms of $\psi$
 * /6 - Entire Function with Constant Real Part is Constant
 * /7 - Closed Interval is Non-Meager
 * /8 - locally constant function on connected space is constant
 * /9 - order of quantity of numbers divisible by certain number

Analytic Number Theory TODO

 * $\map \psi x \asymp x$
 * $\map \pi x \asymp x/\log x$
 * $\ds \sum_{n \le x} \frac {\map \Lambda n} n = \log x + \map \OO 1$
 * $\ds \sum_{p \le x} \frac {\log p} p = \log x + \map \OO 1$
 * $\ds \sum_{p \le x} \frac 1 p = \map \log {\log x} + \map \OO 1$