>>53
log x を微分したら 1/xになるから。
https://w3e.kanazawa-it.ac.jp/math/category/bibun/keisan/henkan-tex.cgi?target=/math/category/bibun/keisan/diff-logx.html