¿Cuál es el menor número entero positivo que es divisible por todos los enteros $1, 2, \dots, n$ ? ¿Existe una forma sencilla de representar la respuesta? Llámalo $f(n)$ aquí.
Es evidente que el factorial ( $n!$ ) satisface la condición de divisibilidad. Pero una vez que se llega a $f(4)$ (que es $12$ ), factorial ( $24$ ) es demasiado grande, porque incluye como factores tanto $4$ y $2$ que son redundantes.
Multiplicar todos los números primos hasta $n$ te da otra estimación, que esta vez es demasiado baja, porque tienes que incluir los primos varias veces cuando se repiten en la factorización de las entradas.
Así que la respuesta está entre el factorial y el producto de los primos. ¿Hay una respuesta sencilla?