Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
$\begingroup$@MariuszIwaniuk: FullSimplify[ Limit[(f/n (-2 ArcTanh[(f/n x)/Sqrt[4 a (1 - 2/(3 n)) + b x^2]] - Log[a (1 - 2/(3 n)) + k x^2]) + 2 Sqrt[b] Log[Sqrt[b] x + Sqrt[4 a (1 - 2/(3 n)) + b x^2]]), a -> 0, Assumptions -> {n > 0, x > 0, k > 0, n > 0, f > 0, b > 0}], Assumptions -> {n > 0, x > 0, k > 0, n > 0, f > 0, b > 0}] // InputForm$\endgroup$
$\begingroup$results in the end of math {((2*I)*(f*ArcTan[f/n] + n*Log[(2*I)*x]) - f*Log[k*x^2])/n, ConditionalExpression[Log[4] + 2*Log[x] - (f*(2*ArcTanh[f/n] + Log[k*x^2]))/n, f < n], ConditionalExpression[Sqrt[2]*Log[8*x^2] - (f*(2*ArcCoth[(Sqrt[2]*n)/f] + Log[k*x^2]))/n, Sqrt[2]*f < 2*n] in 12.3.1 on Windows 10.$\endgroup$
$\begingroup$@user64494 - with 12.3.1 on a Mac Assuming[{n > 0, x > 0, k > 0, n > 0, f > 0, b > 0}, Limit[(f/n (-2 ArcTanh[(f/n x)/Sqrt[4 a (1 - 2/(3 n)) + b x^2]] - Log[a (1 - 2/(3 n)) + k x^2]) + 2 Sqrt[b] Log[Sqrt[b] x + Sqrt[4 a (1 - 2/(3 n)) + b x^2]]), a -> 0] // FullSimplify] evaluates to ConditionalExpression[Sqrt[b]*Log[4*b*x^2] - (f*(2*ArcCoth[(Sqrt[b]*n)/f] + Log[k*x^2]))/n, f < Sqrt[b]*n]$\endgroup$
ConditionalExpression[-(( f (2 ArcTanh[(f x)/(n Sqrt[b x^2])] + Log[k x^2]))/n) + 2 Sqrt[b] Log[Sqrt[b] x + Sqrt[b x^2]], And[ Re[b x^2] > 0, Re[k x^2] > 0, Inequality[-1, Less, Re[f n^(-1) x (b x^2)^Rational[-1, 2]], Less, 1], Re[b^Rational[1, 2] x + (b x^2)^Rational[1, 2]] > 0]]
$\endgroup$Assumptions -> {n > 0, x > 0, k > 0, n > 0, f > 0, b > 0}
toLimit
? $\endgroup$FullSimplify[ Limit[(f/n (-2 ArcTanh[(f/n x)/Sqrt[4 a (1 - 2/(3 n)) + b x^2]] - Log[a (1 - 2/(3 n)) + k x^2]) + 2 Sqrt[b] Log[Sqrt[b] x + Sqrt[4 a (1 - 2/(3 n)) + b x^2]]), a -> 0, Assumptions -> {n > 0, x > 0, k > 0, n > 0, f > 0, b > 0}], Assumptions -> {n > 0, x > 0, k > 0, n > 0, f > 0, b > 0}] // InputForm
$\endgroup${((2*I)*(f*ArcTan[f/n] + n*Log[(2*I)*x]) - f*Log[k*x^2])/n, ConditionalExpression[Log[4] + 2*Log[x] - (f*(2*ArcTanh[f/n] + Log[k*x^2]))/n, f < n], ConditionalExpression[Sqrt[2]*Log[8*x^2] - (f*(2*ArcCoth[(Sqrt[2]*n)/f] + Log[k*x^2]))/n, Sqrt[2]*f < 2*n]
in 12.3.1 on Windows 10. $\endgroup$Assuming[{n > 0, x > 0, k > 0, n > 0, f > 0, b > 0}, Limit[(f/n (-2 ArcTanh[(f/n x)/Sqrt[4 a (1 - 2/(3 n)) + b x^2]] - Log[a (1 - 2/(3 n)) + k x^2]) + 2 Sqrt[b] Log[Sqrt[b] x + Sqrt[4 a (1 - 2/(3 n)) + b x^2]]), a -> 0] // FullSimplify]
evaluates toConditionalExpression[Sqrt[b]*Log[4*b*x^2] - (f*(2*ArcCoth[(Sqrt[b]*n)/f] + Log[k*x^2]))/n, f < Sqrt[b]*n]
$\endgroup$