Edit detail for SandBox_pleblond revision 3 of 10

solve(n*(ln(n)+ln(ln(n))-0.5)-p,n)

   There are no library operations named ln
      Use HyperDoc Browse or issue
                                 )what op ln
      to learn if there is any operation containing " ln " in its name.

   Cannot find a definition or applicable library operation named ln
      with argument type(s)
                                 Variable(n)

      Perhaps you should use "@" to indicate the required return type,
      or "$" to specify which version of the function you need.