What is #int (lnx) / x^(1/2)#?