Let . Then (since by definition of ).
Draw a simple triangle expressing this — opposite=4, adjacent = 1, so hypotenuse = ;
Then .
To be sure of the sign, note that the arctangent of a positive number lies between and and the sine of such a number is positive.
Hence .