מבני נתונים ואלגוריתמים - מחברת קורס/אלגוריתמים/סדרי גדילה/תרגילים/סדרת פולינומים/תשובה

היות ש$\displaystyle n_{0},k$ הם שני קבועים שלמים גדולים ממש מ1, אז $\displaystyle i^{k}$ היא פונקציה מונוטונית עולה בתחום המתאים, ונוכל להשתמש בכלל הראשון של חסמי האינטגרלים. בנוסף, נזכר ש$\displaystyle \int x^{k}dx=x^{k+1}/(k+1)+C$ (עבור $\displaystyle C$ כלשהו). הצבה פשוטה משלימה את ההוכחה.