(fact/cps 5 (lambda (x) x)) (fact/cps (- 5 1) (lambda (x)((lambda (x) x)(* 5 x)))) (fact/cps (- (- 5 1) 1) (lambda (x)((lambda (x)((lambda (x) x)(* 5 x))) (* 4 x)))) (fact/cps (- (- (- 5 1) 1) 1) (lambda (x)((lambda (x)((lambda (x)((lambda (x) x)(* 5 x))) (* 4 x))) (* 3 x)))) (fact/cps (- (- (- (- 5 1) 1) 1) 1) (lambda (x)((lambda (x)((lambda (x)((lambda (x)((lambda (x) x)(* 5 x))) (* 4 x))) (* 3