Acotación del primorial

El primorial de un número natural n es el producto de todos los números primos menores o iguales a n. Por ejemplo, el primorial de 5 es 30 porque el producto de los primos menores o iguales que 5 es

La propiedad de Erdös de acotación de los primoriales afirma que

Para todo número natural n, su primorial es menor o igual que 4ⁿ.

Definir las funciones

tales que

  • (primorial n) es el primorial de n. Por ejemplo,

  • primoriales es la sucesión de los primoriales. Por ejemplo,

Comprobar con QuickCheck la propiedad de Erdös de acotación de los primoriales.

Soluciones

Otras soluciones

  • Se pueden escribir otras soluciones en los comentarios.
  • El código se debe escribir entre una línea con <pre lang=»haskell»> y otra con </pre>

Pensamiento

«Las matemáticas son la reina de las ciencias y la teoría de los números es la reina de las matemáticas.»

Carl Friedrich Gauss.

3 Comentarios

    1. Una variante de la definición de primorial sería la siguiente:

Escribe tu solución