1.6 Exercise 1.6

The sqrt-iter procedure using the new-if procedure never terminates.

When evaluating a function in applicative order, the operands are evaluated first, and then the function is applied to the evaluated operands. This means that, when evaluating a function using new-if, both branches of the conditional will always be evaluated, meaning that even when the recursion should end, it won’t. Thus the procedure will never terminate.