P9lite:147.2 x 72.9 x 7.6 mm
Redmi 5:151.8 x 72.8 x 7.7 mm
Csak jóindulatból szemléltetem a 2 telefon közti (alig levő) különbséget.