eine Primfaktorenzerlegung mit Elementen, die alle größer als die n-te Primzahl des Produktes sind.

es ist in der echten Welt natürlich so, aber wenn ich ganz abstrakt in meiner Annahme bleibe kann ich sagen:

Es gibt keine Primzahl p_i die c+1 teilt, damit hat c+1 keine Teiler und ist eine Primzahl.

Du hast Recht das meine Begründung hier ungenügend ist, aber da es ja keine größere als die n-te Primzahl des Produktes gibt sollte sie imo valide sein. Natürlich könnte ich auch den Fall, dass es eine PFZ mit p_j mit j>n ist betrachten und hab dann auch gezeigt, dass es mehr Primzahlen gibt als angenommen....

Trotzdem würd ich gern durchdrücken, dass ich in der absurden Welt, in der die Primzahlen begrenzt sind, annehmen darf das c+1 Prim ist :)