Qué significan de verdad «4K» y «8000 lúmenes» en un mini proyector, cómo detectarlo en la ficha y qué esperar en la práctica.