Formal Definitions
Formally, Sylvester's sequence can be defined by the formula
The product of an empty set is 1, so s0 = 2.
Alternatively, one may define the sequence by the recurrence
- with s0 = 2.
It is straightforward to show by induction that this is equivalent to the other definition.
Read more about this topic: Sylvester's Sequence
Famous quotes containing the words formal and/or definitions:
“The bed is now as public as the dinner table and governed by the same rules of formal confrontation.”
—Angela Carter (1940–1992)
“What I do not like about our definitions of genius is that there is in them nothing of the day of judgment, nothing of resounding through eternity and nothing of the footsteps of the Almighty.”
—G.C. (Georg Christoph)