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