twitterでlim x→0 logxとlim x→+0 logxが同じかどうかという問題があったのですが、
lim x→a f(x)=-∞の定義はfの定義域をDとして∀N>0∃δ>0∀x∈D 0<∣x-a∣<δ⇒f(x)<-Nで、
lim x→0 logx=-∞を考えると、δ=e^-Nとおくと
0<x<e^-N(x∈logの定義域=(0,∞)なので絶対値が外せる)⇒logx<-Nとなって成立し、
lim x→0 logxとlim x→+0 logxは同じになると思うのですが、おかしい部分などありますか？