[math-fun] Is this familiar? For any f,