Haskell Recursion - How to call another function with original values but only once

Question

I am trying to figure out how I can recursively define a function while also calling a second function at one of the original integer max values. I don\'t want to add anothe