Una factorió és un nombre natural que equival a la suma dels factorials dels seus dígits. Per exemple, és una factorió perquè .
Només hi ha quatre factorions (en base 10) i són , , i (successió A014080 a l'OEIS).
«Factorió» és un terme creat per Clifford A. Pickover, autor del llibre Keys to Infinity, al capítol 22 del llibre titulat The Loneliness of Factorions (La solitud dels factorions).
Si és un nombre natural de dígits que és un factorió, llavors . Això no es manté per , per tant, té com a màxim set dígits, i el primer límit superior és .
Però la suma màxima dels factorials dels dígits per a un número de set dígits és , que estableix el segon límit superior.
Anar més enllà, ja que no hi ha cap número més gran que , el primer dígit d'un número de set dígits pot ser com a màxim . Per tant, només sis posicions poden variar entre i , que es converteix en un tercer límit superior.
Això implica que si és un número de set dígits, el segon dígit és o o el primer dígit és . Si el primer dígit és i, per tant, el segon dígit és o , els nombres estan limitats per , una contradicció amb el primer dígit que és . Així, un número de set dígits pot ser com a màxim , establint el nostre quart límit superior.
Tots els factorials dels dígits, com a mínim , tenen els factors i i, per tant, finalitzen en . Fem que denoti el nostre número de set dígits. Si tots els dígits són almenys , la suma dels factorials (que se suposa que és igual a ) finalitzarà en (que ve del al principi). Aquesta és una contradicció amb la suposició que sigui almenys . Així, almenys un dels dígits pot ser com a màxim , que estableix com el cinquè límit superior.
Suposant que és un nombre de set dígits, el segon dígit és com a màxim . Hi ha dos casos, si és almenys , pel mateix argument que un dels dígits restants, ha de ser com a màxim . Això implica un límit superior (ja que un és com a màxim ) d', una contradicció amb un que sigui almenys . Així, és com a màxim i el sisè límit superior és .
Un ordinador pot comprovar tots els números de a , verificant que és el factorió més gran de la base 10.
Si la definició s'amplia per incloure altres bases, hi ha un nombre infinit de factorions. Per veure això, s'ha de tenir en compte que per a qualsevol nombre enter els nombres i són factorions en base , en què es denoten les cadenes de dos dígits «n1» i «n2». Per exemple, 25 i 26 són factorions a la base 6, en què es denoten per 41(6) i 42(6); 121 i 122 són factoions en la base 24, en què es denoten per 51(24) i 52(24).
Per a , també és un factorió a la base , en què es denota mitjançant la cadena de 2 dígits «1n». Per exemple, 25 és una factorió en la base 21, en què es denota 14(21); 121 és una factorió en la base 116, en la qual es denota 15(116).
Tots els enters positius són factorions en la base 1. i són factorions en cada base.
La següent taula recull tots els factorions en bases fins a la base 16. (successió A193163 a l'OEIS)
Base | Nombre màxim de dígits | Factorions (en base n) |
---|---|---|
1 | Tots els nombres enters positius | 1, 11, 111, 1111,... |
2 | 2 | 1, 10 |
3 | 2 | 1, 2 |
4 | 3 | 1, 2, 13 |
5 | 3 | 1, 2, 144 |
6 | 4 | 1, 2, 41, 42 |
7 | 5 | 1, 2 |
8 | 5 | 1, 2 |
9 | 6 | 1, 2, 62558 |
10 | 7 | 1, 2, 145, 40585 |
11 | 8 | 1, 2, 24, 44, 28453 |
12 | 8 | 1, 2 |
13 | 9 | 1, 2, 83790C5B |
14 | 10 | 1, 2, 8B0DD409C |
15 | 11 | 1, 2, 661, 662 |
16 | 11 | 1, 2, 260F3B66BF9 |