设ξ为f(x)=arctanx在[0,a]上使用微分中值定理的中值，则为( )。