A "factorial" de un número determinado $n$ se define como un producto de enteros positivos hasta ese número. ¿Cuál es el término utilizado si esos enteros positivos son números primos ? ¿Existe un término para ello (como un producto de primos o un factorial de primos)?
Por ejemplo, si calculo el producto de los cinco primeros primos sería $2 \cdot 3\cdot 5\cdot 7\cdot 11= 2310$ . ¿Cómo se llama $2310$ ¿como? ¿Debo llamarlo simplemente: "producto de primera $n$ primos hasta 11" o "factorial de primos hasta $11$ " ?