(define(fproductcountermaxcount)(cond((>countermaxcount)product)((<=countermaxcount)(fproductcountermaxcount))))按原始递归的定义，h是由f和g递归地构造出来的，h(，x)=f(x)，且h(S(n)，x)=g(h(n，x)，n，x)