lim (x→∞) (π - 2arctg(x)) * ln(x)