Select all functions {{MATH_21}} for which there exists a point {{MATH_22}} in {{MATH_23}} such that {{MATH_24}} {{CMD_25}} {{CMD_26}}{{MATH_27}}{{CMD_28}} {{CMD_29}}{{MATH_30}}{{CMD_31}} {{CMD_32}}{{MATH_33}}{{CMD_34}} {{CMD_35}}{{MATH_36}}{{CMD_37}} {{CMD_38}}