7.1.2 Construction of a Sequence from a Formula