Sea (m,n) un par ordenado de enteros positivos. Mientras m>0 y n>0, sea k_1 un entero positivo aleatorio entre 1 y m y k_2 un entero positivo aleatorio entre 1 y n. Salida (k_1,k_2). Sea m=m-k_1 y n=n-k_2. ¿Cuál es el número esperado de salidas?
Obsérvese que en la versión unidimensional del problema, partiendo de un único número entero n, el número esperado de salidas es el número armónico enésimo 1+1/2+1/3+...+1/n.