Con precisión de RealDoble el mayor subfactorial exacto es ¡18 y el mayor no infinito ¡170. Para EnteroGrande o RealGrande el resultado es exacto.

subfactorial(18)

RealDoble: 2.355301661033953E15

subfactorial(18b)

EnteroGrande: 2355301661033953

subfactorial(19)

RealDoble: 4.4750731559645112E16

subfactorial(19b)

EnteroGrande: 44750731559645106

subfactorial(170)

RealDoble: 2.6698540009084078E306

subfactorial(170b)

EnteroGrande: 2669854000908405884826495581232139582588795991419866508219845700774255214830969765919790770045738530246744326201317924694742766543832700228152902829335499252974344037732279189873094934785783380657349786349710846834966894674040219272704049949857837256627849443433949334117660028391008095785744142831369393521

subfactorial(171)

RealDoble: Infinity

subfactorial(171b)

EnteroGrande: 456545034155337406305330744390695868622684114532797172905593614832397641736095829972284221677821288672193279780425365122801013078995391739014146383816370372258612830452219741468299233848368958092406813465800554808779338989260877495632392541425690170883362254827205336134119864854862384379362248424164166292090

sucesion([n,subfactorial(enterogrande(n))],n,0,25)

VectorEvaluado: | 0 1 | | 1 0 | | 2 1 | | 3 2 | | 4 9 | | 5 44 | | 6 265 | | 7 1854 | | 8 14833 | | 9 133496 | | 10 1334961 | | 11 14684570 | | 12 176214841 | | 13 2290792932 | | 14 32071101049 | | 15 481066515734 | | 16 7697064251745 | | 17 130850092279664 | | 18 2355301661033953 | | 19 44750731559645106 | | 20 895014631192902121 | | 21 18795307255050944540 | | 22 413496759611120779881 | | 23 9510425471055777937262 | | 24 228250211305338670494289 | | 25 5706255282633466762357224 |