MathDB
M 8

Source:

May 25, 2007
algebrapolynomialRecursive Sequences

Problem Statement

The Bernoulli sequence {Bn}n0\{B_{n}\}_{n \ge 0} is defined by B0=1,  Bn=1n+1k=0n(n+1k)Bk    (n1)B_{0}=1, \; B_{n}=-\frac{1}{n+1}\sum^{n}_{k=0}{{n+1}\choose k}B_{k}\;\; (n \ge 1) Show that for all nNn \in \mathbb{N}, (1)nBn1p,(-1)^{n}B_{n}-\sum \frac{1}{p}, is an integer where the summation is done over all primes pp such that p2k1p| 2k-1.