Fungrim entry: b6111c

B_{n} = \frac{\text{A027641}\!\left(n\right)}{\text{A027642}\!\left(n\right)}

Assumptions:

n \in \mathbb{Z}_{\ge 0}

References:

Sequence A027641 in Sloane's On-Line Encyclopedia of Integer Sequences (OEIS)
Sequence A027642 in Sloane's On-Line Encyclopedia of Integer Sequences (OEIS)

TeX:

B_{n} = \frac{\text{A027641}\!\left(n\right)}{\text{A027642}\!\left(n\right)}

n \in \mathbb{Z}_{\ge 0}

Definitions:

Fungrim symbol	Notation	Short description
`BernoulliB`	$B_{n}$	Bernoulli number
`SloaneA`	$\text{A00000X}\!\left(n\right)$	Sequence X in Sloane's OEIS
`ZZGreaterEqual`	$\mathbb{Z}_{\ge n}$	Integers greater than or equal to n

Source code for this entry:

Entry(ID("b6111c"),
    Formula(Equal(BernoulliB(n), Div(SloaneA("A027641", n), SloaneA("A027642", n)))),
    Variables(n),
    Assumptions(Element(n, ZZGreaterEqual(0))))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC