arctan∞为-π/2。arctan函数指的是反正切函数，反正切函数是反三角函数的一种，即正切函数的反函数。一般在大学高等数学中都有涉及。

反正切函数的定义域为R。反正切函数的值域为（-π/2，π/2）。反三角公式在无穷小替换公式中，当x趋向于0时，arctanx~x。其导数是1/1+x²。