Bound_BE                Compute a Berry-Esseen-type bound
Bound_EE1               Uniform bound on the error of the first-order
                        Edgeworth expansion
Gauss_test_powerAnalysis
                        Computation of uniformly valid power and
                        sufficient sample size for the one-sided Gauss
                        test
