in control theory, it is often required to check if a nonautonomous system is stable or not. to cope with this it is necessary to use some special comparison functions. class formula_1 functions belong to this family: