Hmmm...good point.
Are you 100% sure that ELAC simply pitches down the aircraft? So what happens if ELAC itself hits VMO/MMO?? That will happen if you don't do anything.
If A/THR is ON, then it's fine.
MMO/VMO protection will come if you don't do anything...
So yes, i thought that ELAC could pitch up to maintain Vprot but as the speed is already low, so if it keeps pitching down, it will maintain Vprot. No need to pitch up.
Are you sure?