[math-fun] backwards calculus-type problem