Procedure sum-from-plus: Base Case

   (define sum-of-divisors
     (lambda (n)

       (define sum-from-plus
         (lambda (low addend)
           ;; Sum up the divisors from low to n
           ;; of n and add that sum to addend 
           ... ))

       (sum-from-plus 1 0)))
Q: When does the process stop?