Es imposible decir si te compensa uno u otro modelo, teniendo en cuenta que no se han confirmado todavía las características del Redmi 4 ni su precio y además no tenemos ni idea de cuáles son tus necesidades/requerimientos de uso
Saludos
P.D.: No existe ningún "Redmi Pro 3", existen el "Redmi Pro" y el "Redmi 3 Pro", que son cosas muy distintas. Y por cierto, el Redmi 3 Pro está ya obsoleto, existe otro modelo posterior denominado Redmi 3S que es más moderno.