Citat:
Ursprungligen postat av
voun
Skulle du kunna förklara detta stycket lite mer?
Men vare sig p_1, p_2, ..., p_{k - 1} delar detta tal. Alltså måste det finnas ytterligare ett primtal som är mindre än 2^(2^k)
p_1, p_2, ..., p_{k - 1} kan inte dela p_1 * p_2 * ... * p_{k - 1} + 1 eftersom det ger resten 1 om man dividerar den med någon av dessa primtal.
Alltså måste det finnas något annat primtal p som delar p_1 * p_2 * ... * p_{k - 1} + 1.
Eftersom p_1 * p_2 * ... * p_{k - 1} + 1 < 2^(2^k) så måste ju även p < 2^(2^k). Nu har du alltså att p_1, p_2, p_3, ... , p_{k - 1} och p < 2^(2^k) vilket innebär att du har k stycken primtal som är mindre än 2^(2^k). Detta innebär vidare att det k:te primtalet måste vara mindre än 2^(2^k).