הגדרה יהיו כך ש אזי קיים כך ש abq הוכחה כיוון ש מתקיים נתבונן ב ונבחר כך ש כלומר מאחר וההפרש בין ל גדול מ1, בהכרח קיים של כך ש נחלק את אי השוויון ב ונקבל