שינויים
/* שאלה */
(לקוחה מספר) - תהי f יורדת ממש והאינטגרל: <math>\int_0^\infty f</math> קיים. הוכיחו שהאינטגרל שונה מ- <math>\sum _{n=1}^\infty f(n)</math> , ושקיים מספר a בקטע (0,1) כך ש- <math> \int_a^\infty f = \sum _{n=1}^\infty f(n) </math>
(לא ארז/תומר) <math> \int_0^\infty f = \sum _{n=1}^\infty \int_{n-1}^{n} f > \sum _{n=1}^\infty \int_{n-1}^{n} f(n) = \sum _{n=1}^\infty f(n)*1</math> אי השוויון מתקיים בגלל המונוטוניות (אי שוויון בפונקציות גורר אי שוויון באינטגרלים) ומשום ש-f יורדת ממש נקבל <math>f(n)>f(n_1n-1) </math> ולכן יש אי שוויון חזק באינטגרלים.
לגבי החלק השני של ההוכחה: באותו האופן מתקיים גם:
<math> \int_1^\infty f = \sum _{n=1}^\infty \int_{n}^{n+1} f < \sum _{n=1}^\infty \int_{n}^{n+1} f(n) = \sum _{n=1}^\infty f(n)*1</math>
משתמש אלמוני
