The extensibility of Diophantine pairs {k−1,k+1}

A set of m distinct positive integers {a1,…,am} is called a Diophantine m-tuple if aiaj+1 is a square for each 1⩽i