added UpperBoundForApproximateFormulae to EWSMApproximateformulae.cpp,
and made minor modifications.