¿Qué es la ley de Amda y cómo se aplica en la evaluación de la eficiencia del escalado del backend?