gives the hyperfactorial function
.
Hyperfactorial
gives the hyperfactorial function
.
Details
- Mathematical function, suitable for both symbolic and numeric manipulation.
- Hyperfactorial is defined as
for positive integers
and is otherwise defined as
. - The hyperfactorial function satisfies
. - Hyperfactorial can be evaluated to arbitrary numerical precision.
- Hyperfactorial automatically threads over lists.
Examples
open all close allBasic Examples (5)
Hyperfactorial[10]Plot over a subset of the reals:
Plot[Hyperfactorial[z], {z, -1, 2}]Plot over a subset of the complexes:
ComplexPlot3D[Hyperfactorial[z], {z, -3 - 3I, 3 + 3I}, PlotLegends -> Automatic]Series expansion at the origin:
Series[Hyperfactorial[x], {x, 0, 2}]//SimplifySeries expansion at Infinity:
Series[Hyperfactorial[x], {x, ∞, 3}]Scope (28)
Numerical Evaluation (6)
Hyperfactorial[5]Hyperfactorial[3.4]N[Hyperfactorial[1 / 5], 50]The precision of the output tracks the precision of the input:
Hyperfactorial[2.0000055555500000000000004440000]N[Hyperfactorial[1.43 + I]]Evaluate efficiently at high precision:
Hyperfactorial[1 / 5`500]//TimingHyperfactorial[1 / 5`1000];//TimingCompute average-case statistical intervals using Around:
Hyperfactorial[ Around[2.1, 0.01]]Compute the elementwise values of an array:
Hyperfactorial[{{1 / 2, 1}, {1, 1 / 2}}]Or compute the matrix Hyperfactorial function using MatrixFunction:
MatrixFunction[Hyperfactorial[#]&, {{1 / 2, 1}, {1, 1 / 2}}]//FullSimplifySpecific Values (4)
Table[Hyperfactorial[z], {z, {-2, 2, 3}}]Hyperfactorial[0]Hyperfactorial gives exact values for integer multiples of 1/2 and 1/4:
Hyperfactorial[1 / 2]Hyperfactorial[-3 / 4]xmin = x /. N@Solve[D[Hyperfactorial[x], x] == 0 && 0 < x < 2, x, Reals][[1]]//QuietPlot[Hyperfactorial[x], {x, -1, 2}, Epilog -> Style[Point[{xmin, Hyperfactorial[xmin]}], PointSize[Large], Red]]Visualization (2)
Plot the Hyperfactorial function:
Plot[Hyperfactorial[x], {x, -1, 2}]ComplexContourPlot[Re[Hyperfactorial[z]], {z, -3 - 4I, 3 + 4I}, Contours -> 24]ComplexContourPlot[Im[Hyperfactorial[z]], {z, -3 - 4I, 3 + 4I}, Contours -> 24]Function Properties (11)
Real domain of Hyperfactorial:
FunctionDomain[Hyperfactorial[x], x]FunctionDomain[Hyperfactorial[z], z, Complexes]Function range of Hyperfactorial on the contiguous portion of its domain:
FunctionRange[{Hyperfactorial[x], x ≥ -1}, x, y]//NHyperfactorial threads elementwise over lists:
Hyperfactorial[{1, 2, 3, 4, 5}]Hyperfactorial is not an analytic function:
FunctionAnalytic[Hyperfactorial[x], x]FunctionMeromorphic[Hyperfactorial[x], x]Hyperfactorial is neither non-increasing nor non-decreasing:
FunctionMonotonicity[{Hyperfactorial[x], x > -1}, x]Hyperfactorial is not injective:
FunctionInjective[Hyperfactorial[x], x]Plot[{Hyperfactorial[x], 1}, {x, -1, 2}]Hyperfactorial is not surjective:
FunctionSurjective[Hyperfactorial[x], x]Plot[{Hyperfactorial[x], -2}, {x, -1, 2}]Hyperfactorial is neither non-negative nor non-positive:
FunctionSign[Hyperfactorial[x], x]Hyperfactorial has both singularities and discontinuities for x≤-1:
FunctionSingularities[Hyperfactorial[x], x]FunctionDiscontinuities[Hyperfactorial[x], x]Hyperfactorial is neither convex nor concave:
FunctionConvexity[{Hyperfactorial[x], x > -1}, x]TraditionalForm formatting:
Hyperfactorial[z]//TraditionalFormDifferentiation (2)
First derivative with respect to n:
D[Hyperfactorial[n], n]Higher derivatives with respect to n:
Table[D[Hyperfactorial[n], {n, k}], {k, 1, 3}]//FullSimplifyPlot the higher derivatives with respect to n:
Plot[%, {n, -1, 1}, PlotLegends -> {"First Derivative", "Second Derivative", "Third Derivative"}]Series Expansions (3)
Find the Taylor expansion using Series:
Series[Hyperfactorial[x], {x, 0, 3}]//Normal//FullSimplifyPlots of the first three approximations around
:
terms = Normal@Table[Series[Hyperfactorial[x], {x, 0, m}], {m, 1, 3}];
Plot[{Hyperfactorial[x], terms}, {x, -5, 5}, PlotRange -> {-20, 20}]Taylor expansion at a generic point:
Series[Hyperfactorial[x], {x, x0, 2}]//Normal// FullSimplifyFind the series expansion at Infinity:
Series[Hyperfactorial[x], {x, Infinity, 3}]Applications (3)
Obtain Glaisher from a limit with Hyperfactorial and Exp functions:
Limit[ (Hyperfactorial[n]/n^Binomial[n + 1, 2]Exp[-(n^2/4)]n^(1/12)), n -> ∞]The discriminant of the Hermite polynomial can be expressed in terms of the hyperfactorial:
Table[Discriminant[HermiteH[n, x], x], {n, 5}]Table[8 ^ Binomial[n, 2] Hyperfactorial[n], {n, 5}]The product of all nonzero elements of the Farey sequence for a few small orders:
Table[Apply[Times, Rest[FareySequence[n]]], {n, 2, 12}]Compare with a closed-form formula:
Table[Underoverscript[∏, k = 1, n]((BarnesG[Quotient[n, k] + 2]/Hyperfactorial[Quotient[n, k]]))^MoebiusMu[k], {n, 2, 12}]Properties & Relations (3)
Use FullSimplify and FunctionExpand to simplify expressions involving Hyperfactorial:
FunctionExpand[Hyperfactorial[n]]FullSimplify[BarnesG[n + 1]Hyperfactorial[n] == Gamma[n + 1] ^ n, n > 0]Hyperfactorial is produced in Product:
Product[k ^ k, k]Product[k ^ (2k), {k, 1, n}]FindSequenceFunction can recognize the Hyperfactorial sequence:
Table[Hyperfactorial[n], {n, 7}]FindSequenceFunction[%, n]Neat Examples (2)
Determinants of matrices built out of binomial coefficients:
Table[Det[Table[Binomial[i j, i], {i, n}, {j, n}]], {n, 9}]Table[Hyperfactorial[n], {n, 9}]Determinants of matrices built out of Bernstein polynomials:
Table[Det[Table[Binomial[n, i]If[n != i, (1 - j)^n - i, 1]j^i, {i, n}, {j, n}]], {n, 9}]Table[Hyperfactorial[n], {n, 9}]Related Guides
Related Links
History
Text
Wolfram Research (2008), Hyperfactorial, Wolfram Language function, https://reference.wolfram.com/language/ref/Hyperfactorial.html.
CMS
Wolfram Language. 2008. "Hyperfactorial." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/Hyperfactorial.html.
APA
Wolfram Language. (2008). Hyperfactorial. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Hyperfactorial.html
BibTeX
@misc{reference.wolfram_2026_hyperfactorial, author="Wolfram Research", title="{Hyperfactorial}", year="2008", howpublished="\url{https://reference.wolfram.com/language/ref/Hyperfactorial.html}", note=[Accessed: 13-June-2026]}
BibLaTeX
@online{reference.wolfram_2026_hyperfactorial, organization={Wolfram Research}, title={Hyperfactorial}, year={2008}, url={https://reference.wolfram.com/language/ref/Hyperfactorial.html}, note=[Accessed: 13-June-2026]}