הגדרה

בהינתן נגדיר:

ממוצע חשבוני

לכל מתקיים:

איכשהו

תהי סדרה בה גדולה מאפס בכל איבריה, המקיימת
אזי (הממוצעים)

יהיו כך ש לכל , זה אפשרי מכיוון שכל סדרה מתכנסת היא חסומה ו חסם עליון
נסמן את כ, כלומר לכל מתקיים:
נסתכל על

א י ש ו ו י ו ן ה מ ש ו ל ש א י ש ו ו י ו ן ה מ ש ו ל ש א י ש ו ו י ו ן ה מ ש ו ל ש