>>796
y = arctan(x)
x = tan(y)
dx/dy = 1+tan(y)^2 = 1+x^2
dy/dx = 1/(1+x^2)

f(x)=arctan(x)
f(0) = 0だから
{f(x)-f(0)}/x → f'(0) = 1