Llamamos par binario a un par de números distintos $(a, b)$ si $ab+1$ es una potencia de dos. Dado un conjunto $S$ de $n$ enteros positivos, ¿cuál es el número máximo posible de pares binarios en $S$?