由下收敛性

convergence from below