Sylvester's Sequence - Formal Definitions

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:

    Two clergymen disputing whether ordination would be valid without the imposition of both hands, the more formal one said, “Do you think the Holy Dove could fly down with only one wing?”
    Horace Walpole (1717–1797)

    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)