https://123dok.net/document/zx56djk4-sharp-lower-bound-log-canonical-threshold.html