Determine el entero positivo más pequeño $k$ con la siguiente propiedad: Para cualquier subconjunto $\mathbb{S}$ del conjunto $\{1,2,3,\dots,2024\}$ con $|S|=k$, existen dos elementos distintos $a,b\in\mathbb{S}$ tales que $ab+1$ es un cuadrado perfecto.