lim (arctan(x)+1/x,)=π/2>π/4
x→∞
d/dx (arctanx + 1/x)=1/(1+x^2)-1/x^20）
故而当函数趋于+∞的时候 函数值最小（因为它是单调递减的函数）,
函数的最小值大于π/4
所以函数值大于π/4