Budget 250€

I need a new smartphone, (currently I've got a Wiko Fever) and I'm undecided between buying a Xiaomi Redmi Note 5 or a Huawei p20 lite.

I need a smartphone with long battery life and good processor, mostly used for social medias and sometimes little games.

I heard that the Xiaomi is very good for its price, but even the p20 lite isn't too bad. What do you think? Do you suggest other smartphones to buy with this budget?