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 - $\sum_{d \divides n} \size {\map \mu d}$
 * /5 - $\sum_{m \le x} \map \Lambda m/m = \log x + \map \OO 1$
 * /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
 * /10 - integral representation of total variation
 * /11
 * /12 - $\sum_{p \le x} \log p/p = \log x + \map \OO 1$

Analytic Number Theory TODO

 * $\map \psi x \asymp x$ -- will be using $f = \map \Theta g$ for $f \asymp g$ since that's what's already in place
 * $\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$