log2xはどう微分したらいいでしょうか?