ちなみに、d/dx(ln(lnx)) って 1/lnx でいいんですよね?