Dados $m+n$ números: $a_i$, $i = 1,2, \ldots, m$, $b_j$, $j = 1,2, \ldots, n$, determina el número de pares $(a_i,b_j)$ para los cuales $|i-j| \geq k$, donde $k$ es un entero no negativo.