Bound on the error of the first-order Edgeworth expansion
