An<x1-a⁢ⅇx⁢Γ⁡(a,x)<Bn,