Some light integration to show the recursive nature of the generalised factorial function