// / x\ / -1 \\ // / x\ / -1 \\
||lerchphi\log(x), 1, 1 - e /*log(x) for And\x >= e , x < E/| ||lerchphi\log(x), 1, 1 - e /*log(x) for And\x >= e , x < E/|
|| | || |
|| oo | || oo |
|| ____ | || ____ |
|| \ ` | || \ ` | x
x*|< \ n | - |< \ n |*e
|| \ log (x) | || \ log (x) |
|| ) ------- otherwise | || ) ------- otherwise |
|| / x | || / x |
|| / n - e | || / n - e |
|| /___, | || /___, |
\\ n = 1 / \\ n = 1 /
$$x \left(\begin{cases} \Phi\left(\log{\left(x \right)}, 1, 1 - e^{x}\right) \log{\left(x \right)} & \text{for}\: x \geq e^{-1} \wedge x < e \\\sum_{n=1}^{\infty} \frac{\log{\left(x \right)}^{n}}{n - e^{x}} & \text{otherwise} \end{cases}\right) - \left(\begin{cases} \Phi\left(\log{\left(x \right)}, 1, 1 - e^{x}\right) \log{\left(x \right)} & \text{for}\: x \geq e^{-1} \wedge x < e \\\sum_{n=1}^{\infty} \frac{\log{\left(x \right)}^{n}}{n - e^{x}} & \text{otherwise} \end{cases}\right) e^{x}$$
x*Piecewise((lerchphi(log(x), 1, 1 - exp(x))*log(x), (x < E)∧(x >= exp(-1))), (Sum(log(x)^n/(n - exp(x)), (n, 1, oo)), True)) - Piecewise((lerchphi(log(x), 1, 1 - exp(x))*log(x), (x < E)∧(x >= exp(-1))), (Sum(log(x)^n/(n - exp(x)), (n, 1, oo)), True))*exp(x)