弱函数

minorant