该文对定义在Ｈｉｂｅｒｔ空间Ｅ上的一般下半连续函数证明了如「９」中形式的逼近中值定理在Ｐｒｏｘｉｍａｌ－次微分意义下也成立，若Ｅ＝「ａ，ｂ」＝Ｒ，则得到了不等式形式的中值定......