Proof of the derivative of inverse tan x: A Step-by-Step Proof and Explanation