عدد اول رامانوجان

در ریاضیات عدد اول رامانوجان عدد اولی است که نتیجه ثابت شده توسط سرینیسوا رامانوجان مربوط به تابع شمارش اعداد اول را ارضا می‌کند.

ریشه و تعریف

در سال ۱۹۱۹ رامانوجان اثبات جدیدی از اصل برتراند را منتشر کرد است که همان‌طور که او گفته برای اولین بار توسط چبیشف اثبات شده‌است. در پایان دو صفحه منتشر شده، رامانوجان یک نتیجه تعمیم یافته را استنتاج می‌کند و آن این است:

$\pi (x)-\pi (x/2)\ge 1,2,3,4,5,\dots \text{ for all }x\ge 2,11,17,29,41,\dots \text{ respectively}$الگو:OEIS2C

که در آن $\pi (x)$ تابع شمارش اعداد اول است که برابر است با تعداد اعداد اول کمتر یا مساوی x.

تعریف اعداد اول رامانوجان این است:

n امین عدد اول رامانوجان کوچکترین عدد صحیحی است (R_n) که در معادله زیر صدق می‌کند:

$\pi (x)-\pi (x/2)\ge n$ برای همه x ≥ R_n

به عبارت دیگر اعداد اول رامانوجان اعداد صحیحی هستند که به ازای هر کدام از آن‌ها حداقل n عدد اول بین x و x/2 وجود دارد جایی که x ≥ R_n

پنج عدد اول رامانوجان عبارت اند از ۲، ۱۱، ۱۷، ۲۹، و ۴۱.