אז זה מה שאמר לי מתמטיקאי מקצועי:
ידועה "נוסחה יפה" אחת בלבד (דיריכלה) - סדרה חשבונית בה ההפרש והאבר הראשון זרים - המכילה אינסוף מספרים ראשוניים. הסדרה 1, 11, 111, 1111, ... כנראה שגוייה. על כל פנים הוא לא שמע עליה, ומשער ב-99.99% שאיש לא הוכיח שהיא מכילה אינסוף מספרים ראשוניים.