Approximating characteristic function of bounded Pareto distribution with α=1
During the summer, I received an email from a researcher at university abroad inquiring about how we (myself and my senior colleague, prof. B. Kaulakys) derived the approximation for the characteristic function of bounded Pareto distribution (for the particular case with \( \alpha = 1 \)). The approximation was given in [1], but derivation turned out to be somewhat more involved than I remembered. Originally, I derived it with the help of Wolfram Engine, while my colleague consulted various mathematical formula compendiums. Unfortunately, I was unable to find any notes containing the derivation. So I have attempted to reconstruct a combined approach from scratch. You'll find the derivation below.
