解の質の下限