boxes for limits of sequences - see Sequences - Methods Survey - Limit