Inégalité.

Montrer que parmi 13 réels choisis au hasard 2 à 2 distincts, on peut toujours en trouver 2, a et b vérifiant:

0<(a-b)/(1+a b)<2-√3.