Still a little unsure. Can inverse tanx equal pi/2 if the range of inverse tan x is (-pi/2 , pi/2) ? Trebla has addressed this very question in an earlier post by petyo.