Sean $a_1, \dots, a_n, b_1, \dots, b_n$ $2n$ enteros positivos tales que los $n+1$ productos \[a_1 a_2 a_3 \cdots a_n, b_1 a_2 a_3 \cdots a_n, b_1 b_2 a_3 \cdots a_n, \dots, b_1 b_2 b_3 \cdots b_n\] forman una progresión aritmética estrictamente creciente en ese orden. Determine el entero más pequeño posible que podría ser la diferencia común de tal progresión aritmética.