https://123dok.net/document/qo5l0l8m-lower-bounds.html