DNE = doesn’t exist
near a = ∃ b,c,b<a<c, on (b,c)
NOS = need only show
thm = theorem
WLOG = without loss of generality
WTS = want to show
WHP = with high probability