\arctan(4)+\arctan(4)-\pi<\frac\pi 2