The <math>1</math>'s that appear as indices and exponents are formally redundant, conveying no information apart from the places that they occupy in the resulting syntactic structure. Leaving them tacit produces the following expression:
+
The <math>1</math>'s that appear as indices and exponents are formally redundant, conveying no information apart from the places they occupy in the resulting syntactic structure. Leaving them tacit produces the following expression:
{| align="center" cellpadding="6" width="90%"
{| align="center" cellpadding="6" width="90%"
Line 99:
Line 99:
|}
|}
−
An expression of this form may be referred to as the ''doubly recursive factorization'' (DRF) or ''drift'' of the positive integer from which it derives.
+
Applying the same procedure to a positive integer <math>n</math> produces an expression called the ''doubly recursive factorization'' (DRF) or ''drift'' of <math>n.</math>