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

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