noun (common) (futsuumeishi) mathematics lower bound