Teorema de cantor

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

Teorema: Si x,y son números reales positivos, existe un entero positivo K tal que Ky mayor a x. ES URGENTE LA REPUESTA por favor.