The root separation (or zero separation) of a polynomial with roots , , ... is defined by
There are lower bounds on how close two distinct roots of a polynomial can be. In particular, if is a squarefree polynomial of degree with discriminant , then the Mahler bound gives the minimum separation distance between any pair of roots as