Let a,ba, b and nn be integers greater than 1, and let aa and bb be the bases of two number systems. An1A_{n-1} and AnA_n are numbers in the system with base aa, and Bn1B_{n-1} and BnB_n are numbers in the system with base bb; these are related as follows: An=xnxn1x0,An1=xn1xn2x0,A_n = x_n x_{n-1} \cdots x_0, \quad A_{n-1} = x_{n-1} x_{n-2} \cdots x_0, Bn=xnxn1x0,Bn1=xn1xn2x0,B_n = x_n x_{n-1} \cdots x_0, \quad B_{n-1} = x_{n-1} x_{n-2} \cdots x_0, xn0,xn10.x_n \neq 0, \quad x_{n-1} \neq 0.

Prove: An1An<Bn1Bn if and only if a>b.\frac{A_{n-1}}{A_n} < \frac{B_{n-1}}{B_n} \text{ if and only if } a > b.