すみません
f(X)=loge√2-x
を一回微分した数は何ですか?