// Textbook fragment 03.29
public static int recursiveFactorial(int n) {   // recursive factorial function
  if (n == 0) return 1;                         // basis case
  else return n * recursiveFactorial(n-1);      // recursive case
}