Let be the function defined by , and be the function defined by the rule .