"lower bound"@en-us . .