1+22+34+⋯+n2n−1=4−n+22n−1
L:n2n−1=121−1=1R:4−n+22n−1=4−1+221−1=4−3=11=1√
1+22+34+⋯+k2k−1=4−k+22k−1
1+22+34+⋯+k2k−1⏟=4−k+22k−1+k+12k=4−k+32k4−k+22k−1+k+12k=4−k+32k/∗2k−4−2(k+2)+9k+1)=−(k+3)−2k−4+k+1=−k+30=0
הטענה נכונה עבור כל n טבעי, ע"פ שלושת שלבי האינדוקציה.