https://9lib.co/document/yevwnwe4-x-ln-x-ln-ln-constraint-n-trivial.html