>>508
関数f(x)=sinlogxがx=1において微分可能
⇔極限値f'(1)=lim[h→0]{f(1+h)-f(1)}/hが存在する
⇔lim[h→+0]{f(1+h)-f(1)}/h=lim[h→-0]{f(1+h)-f(1)}/h=lim[h→0]{f(1+h)-f(1)}/h
ってことですね。
では、なぜf(x)はx=1で微分可能なのですか。