The definition (Name) of the above sequence refers explicitly to the Formula section but the sequence does not have any formula section. Best, Harvey