\[\operatorname{Bi}'\left(x\right)\leq\frac{x^{1/4}e^{\xi}}{\sqrt{\pi}}\left(1+%
\left(\frac{\pi}{2}+1\right)\frac{7}{72\xi}\right),\]