函数F(x)=lim(n趋于无穷)arctan(1+x)求定义域