Xiaomi’s New Budget King? Redmi A4 5G Aims to Dominate the Affordable Market