Divisores

En dichos textos de Twiter se define g(n) como el mínimo número que
multiplicado por el factorial de n lo convierte en un cuadrado. Ahora bien,
según razonamos en la entrada
http://hojaynumeros.blogspot.com.es/2011/12/emparedado-de-cuadrados-
2.html
esa función g(n) es, simplemente la parte libre de cuadrados del factorial
de n. Si la parte libre la representamos como PL, la fórmula adecuada sería
g(n)=PL(n!).
En lenguaje PARI esta función se representaría por core(n!), y así es como se
ha engendrado la sucesión de valores de g(n) en http://oeis.org/A055204:
1, 2, 6, 6, 30, 5, 35, 70, 70, 7, 77, 231, 3003, 858, 1430, 1430, 24310, 12155,
230945, 46189, 969969, 176358, 4056234, 676039, 676039, 104006…
Desafortunadamente, en hoja de cálculo, si usamos la expresión equivalente
con funciones nuestras: PARTELIBRE(FACT(N)), el cálculo se ralentiza hasta
llegar a hacerse inútil. Para conseguir la tabla que sigue, hemos tenido que
esperar varios minutos.
N
G(N)
1 1
2 2
3 6
4 6
5 30
6 5
7 35
8 70
9 70
10 7
11 77
12 231
Para resolver esto, y entrando ya en un tema de algoritmos, podemos contar
con una ayuda:
102