けんき says to YSITD
lim_k->0 g(x)/h(x)的證明有用到這條(