Considere o seguinte problema: dada uma lista de N inteiros, encontre o par cuja diferença é a menor possível. A abordagem ingênua é O(n^2). Escreva uma função em Python que resolva este problema em O(n log n) ou melhor. Além disso, analise o desempenho em termos de uso de memória (espaço auxiliar) e discuta os limites teóricos inferior (Omega) para este problema. Forneça o código comentado e uma explicação detalhada da lógica utilizada para reduzir a complexidade temporal.