Od Euklidesa wiemy, że istnieje nieskończenie wiele liczb pierwszych. Argument jest sprzeczność: Jeśli istnieje tylko skończenie wiele, powiedzmy , a następnie na pewno nie jest podzielne przez żadną z tych liczb pierwszych, więc jego rozkład na czynniki pierwsze musi dać nową liczbę pierwszą, której nie było na liście. Zatem założenie, że istnieją tylko skończone liczby pierwsze, jest fałszywe.
Załóżmy teraz, że jest jedyną liczbą pierwszą. Powyższa metoda daje jako nową (możliwą) liczbę pierwszą. Ponowne zastosowanie metody daje , a następnie , a następnie , więc zarówno jak i są nowe liczby pierwsze itp. W przypadku, gdy otrzymujemy liczbę całkowitą, bierzemy najmniejszą liczbę pierwszą. Daje to wynik A000945 .
Wyzwanie
Biorąc pod uwagę liczbę pierwszą i liczbę całkowitą oblicz ty składnik sekwencji zdefiniowanej w następujący sposób:
Sekwencje te są znane jako Euclid-Mullin .
Przykłady
Dla :
1 2
2 3
3 7
4 43
5 13
6 53
7 5
8 6221671
9 38709183810571
Dla ( A051308 ):
1 5
2 2
3 11
4 3
5 331
6 19
7 199
8 53
9 21888927391
Dla ( A051330 )
1 97
2 2
3 3
4 11
5 19
6 7
7 461
8 719
9 5
(,0({q:)1+*/)^:
przez 15 bajtów, zwracając sekwencję don
(indeksowane od zera)