Full-density sequence (source code)

= Full-density sequence

An increasing sequence of integers has full density when its range has <natural density> one. <Convergence in density of a sequence> means that, for each fixed tolerance, the exceptional indices have <natural density> zero.