Xiaomi’s redmi 4 is not a good option in such budget.
Xiaomi has its own upgradation as Redmi 5.
Redmi 5 comes with eith latest and faster Qualcomm’s Snapdragon 450 processor.
Battery is also sufficient with 3050 mAh.
Redmi 4 is quite old variant with such price.
Redmi 45 in the price of 8, 999 with 3 gb of RAM and 32 gb of Internal storage.
Storage is expandable via micro SD card.
Overall camera is also good in Redmi 5.
So, as a conclusion Redmi 5 is better option in such price.