TeX:
x_{n} \sim -n + \frac{1}{\pi} \operatorname{atan}\!\left(\frac{\pi}{\log(n)}\right), \; n \to \inftyDefinitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| DigammaFunctionZero | Zero of the digamma function | |
| Pi | The constant pi (3.14...) | |
| Atan | Inverse tangent | |
| Log | Natural logarithm | |
| Infinity | Positive infinity |
Source code for this entry:
Entry(ID("fb9942"),
Formula(AsymptoticTo(DigammaFunctionZero(n), Add(Neg(n), Mul(Div(1, Pi), Atan(Div(Pi, Log(n))))), n, Infinity)))