A minha atividade

Pelo que vi no site da Huawei a bateria do P40 Lite com 128GB6/GB é de 4200mh o que indica aqui na loja online é de 3800mh será erro ou o que disponibilizam tem mesmo apenas 3800 de bateria?