Casi cierto. Una sutileza que no se menciona en la pregunta es que un acceso a la memoria del siguiente nivel generalmente no se inicia hasta que se sabe que el acceso al nivel actual es una falla.
Esto significa que TODOS los accesos tomarán el tiempo T1, independientemente de que acierten en L1. Del mismo modo, los accesos (1-a) tardarán un tiempo adicional T2, acierten o no en L2. Y entonces (1-b) de los accesos a L2 también incurrirá en la penalización de un acceso a memoria principal.
Entonces la ecuación final se convierte en