|ϵj⁡(x)|, 12⁢f-1/2⁡(x)⁢|ϵj′⁡(x)|≤exp⁡(12⁢𝒱aj,x⁡(F))-1,