Per lower bound che soddisfa la verifica intendi dire: determinati i 5-6 phik con i vari Autori prendere il più basso ed iniziare a vedere se Rd>Ed giusto? In tal caso gli altri phik sono superflui?