Applying the same procedure to any positive integer <math>n\!</math> produces an expression called the ''doubly recursive factorization'' (DRF) of <math>n.\!</math> The corresponding function from positive integers to DRF expressions may be indicated as <math>\operatorname{drf}(n).\!</math> | Applying the same procedure to any positive integer <math>n\!</math> produces an expression called the ''doubly recursive factorization'' (DRF) of <math>n.\!</math> The corresponding function from positive integers to DRF expressions may be indicated as <math>\operatorname{drf}(n).\!</math> |