Computing cubic roots (with well-founded recursion)

Define a well-specified function that computes the cubic root of a natural number.

Solution