Definition:Sequence of Bernoulli Numbers