https://123dok.org/document/z1dr6jx3-lower-bound-l-s.html