前の評価を n+1 で割り、a(n+1)/(n+1) を加える。すると b1+...+bn+a(n+1)/(n+1) >= a(n+1) となり、これは n+1 の主張そのものである。よってすべての正整数 n で成立する。