El Mi9T Pro de 128gb estuvo de oferta por 305 euros en la web oficial de Xiaomi España, por ejemplo. No sé si lo van a poner a ese precio otra vez, pero con la salida del Mi 10 y, seguramente, del K30 Pro, al 9T Pro lo van a bajar de precio tarde o temprano. En mi opinión, el Realme no es 100 y pico de euros mejor que el Xiaomi, aunque sí tiene un hardware superior. El tema está en si considerás importantes esas mejoras.
Para mí, el Realme gana en pantalla (90 hz, aunque depende de si le das importancia a eso), el procesador (SD855+ vs SD855 a secas; no se nota la diferencia en el día a día la verdad) y memoria UFS 3.0 conta la UFS 2.1 del Xiaomi, que es algo más lenta.
El Xiaomi ganaría en que no tiene notch (no sé si te molesta el notch), es algo más compacto y entra mejor en un bolsillo y, si te interesa que tenga apoyo de la comunidad para rootear o instalar custom ROMs ya sea ahora o cuando el teléfono no reciba actualizaciones oficiales (el Realme tiene poco apoyo, entre otras cosas porque al desbloquear el bootloader, queda inutilizado el sensor de huellas).
En calidad de las cámaras, a los dos hay que instalarles la Gcam para que saquen buenas fotos.
Ambas compras son excelentes y van a cumplir con tus usos por muchos años. Así que, el que más te guste.
Saludos