Álgebra de Conjunto

Aplicando el Principio del Buen Orden demuestre el siguiente teorema, conocido como Propiedad Arquimediana de los números reales:

Teorema: Si r,y son números reales positivos, existe un entero positivo K tal que K.y es mayor que r.