اقلیدس برای اثبات نامتناهی بودن اعداد اول ثابت کرد عددی که شما میگید یا اول هست یا عامل اولی به جز ۱ تا n امین عدد اول داره.اعداد اول به این شکل هم به اعداد اول اقلیدسی معروف اند.مثلا ۷
دقت کنین قرار نیست فرمول ارائه شده ، فرمول اعداد اول باشه!
دوستمون میخواست بدونه این عدد ، همیشه اول هست یا نه. یعنی قرار نیست تموم اعداد اول رو ایجاد کنه ولی شاید همیشه اول باشه (که میدونیم نیست!)
مثل اعداد فرما و... که حدس زده بودن...
ولي خيلي از توابعي كه الان باهاشون اعداد اول بزرگ رو پيدا مي كنن چند جمله اي نيستند مثل اعداد مرسن و چند جمله اي ها دسته ي خيلي كوچكي از توابع هستند همچنين من فكر مي كنم براي چند جمله اي هاي n متغيره هنوز اثباتي ارائه نشده.