מספר סקיוז

מתוך testwiki
קפיצה לניווט קפיצה לחיפוש

תבנית:סימון מתמטי

בתורת המספרים, מספר סקיוז הוא מספר הנכלל בקבוצה של מספרים גדולים ששימשו את סטנלי סקיוז כחסם מלעיל למספר הטבעי הקטן ביותר  x המקיים את האי-שוויון

π(x)>li(x)

כאשר π(x) היא הפונקציה המציגה את מספר המספרים הראשוניים הקטנים מ- x (פונקציית המספרים הראשוניים), ו-li(x) היא פונקציית האינטגרל הלוגריתמי.

בשנת 1933 קבע סקיוז שבהנחה שהשערת רימן נכונה, קיים  x שמקיים את האי שוויון π(x)>li(x), שקטן מהמספר eee79,מספר זה נקבע כמספר סקיוז הראשון. בשנת 1955 קבע סקיוז, ללא קשר להשערת רימן, ש- x חייב להיות קטן מ- eeee7.705, ומספר זה נקבע כמספר סקיוז השני. אף על פי ששני המספרים גדולים מאוד, eeee7.705<101010964 ו-eee79<10101034, שניהם קטנים ממספר גרהאם. נכון ל-2015 ידוע כי חסם מלרע של  x הוא 1.39×1017, אך עדיין לא ידוע ערכו המדויק של  x.

קישורים חיצוניים

תבנית:קצרמר