$\arctan(\sqrt3)=\pi/3$: the principal angle whose tangent is $\sqrt3$.Suggest a slogan
\(\arctan(\sqrt 3)=\frac{\pi}{3}\), because \(\tan\frac{\pi}{3}=\frac{\sqrt3/2}{1/2}=\sqrt3\) and \(\frac{\pi}{3}\in\qty{-\frac{\pi}{2},\frac{\pi}{2}}\).
What is $\arctan(\sqrt 3)$?