Bi′⁡(x)≤x1/4⁢ⅇξπ⁢(1+7⁢π72⁢ξ⁢exp⁡(7⁢π72⁢ξ)),