tweaks and minor additions to metric space notes
define uniform/pointwise convergence
Finish proving bolzano-weierstrass stuff. delete the nearest point property material. it's actually a lot of work to prove it, for questionable gain