(t (hoge f (funcall f x x) (/ (1- n) 2) (funcall f x z)))))