Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: Lempert function on convex domains | Statement: [Carathéodory metric, isUpperBoundFor, Lempert function on convex domains]

Target entity: Lempert function on convex domains
Context triple: [Carathéodory metric, isUpperBoundFor, Lempert function on convex domains]

• A. Nevanlinna–Pick interpolation
  Nevanlinna–Pick interpolation is a classical problem in complex analysis and operator theory that seeks analytic functions, typically bounded by one in the unit disk, which match prescribed values at given points.
• B. Inequalities for analytic functions
  "Inequalities for analytic functions" is a mathematical work by Gábor Szegő that develops fundamental bounds and estimates for complex analytic functions, particularly in the context of complex analysis and approximation theory.
• C. Szegő kernel
  The Szegő kernel is a fundamental reproducing kernel in complex analysis and operator theory, associated with Hardy spaces on the boundary of a domain and central to the study of orthogonal polynomials and boundary behavior of analytic functions.
• D. Dynamics in One Complex Variable
  Dynamics in One Complex Variable is a foundational graduate-level textbook by John Milnor that introduces and develops the theory of complex dynamical systems, particularly the iteration of rational maps on the Riemann sphere.
• E. Runge approximation theorem
  The Runge approximation theorem is a fundamental result in complex analysis stating that holomorphic functions on certain domains can be uniformly approximated by rational functions with poles outside those domains.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"

Entity: Lempert function on convex domains
Triple: [Carathéodory metric, isUpperBoundFor, Lempert function on convex domains]

The Lempert function on convex domains is a complex-analytic invariant that coincides with the Kobayashi distance and provides an extremal characterization of holomorphic mappings between convex domains in several complex variables.

Target entity: Lempert function on convex domains
Target entity description: The Lempert function on convex domains is a complex-analytic invariant that coincides with the Kobayashi distance and provides an extremal characterization of holomorphic mappings between convex domains in several complex variables.

• A. Nevanlinna–Pick interpolation
  Nevanlinna–Pick interpolation is a classical problem in complex analysis and operator theory that seeks analytic functions, typically bounded by one in the unit disk, which match prescribed values at given points.
• B. Inequalities for analytic functions
  "Inequalities for analytic functions" is a mathematical work by Gábor Szegő that develops fundamental bounds and estimates for complex analytic functions, particularly in the context of complex analysis and approximation theory.
• C. Szegő kernel
  The Szegő kernel is a fundamental reproducing kernel in complex analysis and operator theory, associated with Hardy spaces on the boundary of a domain and central to the study of orthogonal polynomials and boundary behavior of analytic functions.
• D. Dynamics in One Complex Variable
  Dynamics in One Complex Variable is a foundational graduate-level textbook by John Milnor that introduces and develops the theory of complex dynamical systems, particularly the iteration of rational maps on the Riemann sphere.
• E. Runge approximation theorem
  The Runge approximation theorem is a fundamental result in complex analysis stating that holomorphic functions on certain domains can be uniformly approximated by rational functions with poles outside those domains.
• F. None of above. chosen