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: Lebesgue differentiation theorem | Statement: [Vitali covering lemma, relatedTo, Lebesgue differentiation theorem]

Target entity: Lebesgue differentiation theorem
Context triple: [Vitali covering lemma, relatedTo, Lebesgue differentiation theorem]

• A. Lebesgue differentiation theorem chosen
  The Lebesgue differentiation theorem is a fundamental result in real analysis stating that, for an integrable function, the averages over shrinking neighborhoods converge almost everywhere to the function’s pointwise value.
• B. Lebesgue integration
  Lebesgue integration is a foundational measure-theoretic framework for defining and analyzing integrals, particularly suited to handling limits, convergence, and more general functions than those allowed by Riemann integration.
• C. Hardy–Littlewood maximal function
  The Hardy–Littlewood maximal function is a fundamental operator in real analysis and harmonic analysis that controls the local averages of a function and plays a key role in differentiation theorems and singular integral theory.
• D. Denjoy–Young–Saks theorem
  The Denjoy–Young–Saks theorem is a result in real analysis that classifies the possible behaviors of the derivative of a real function at almost every point on the real line.
• E. Lebesgue measure
  Lebesgue measure is the standard way of assigning a consistent notion of "length," "area," or "volume" to subsets of Euclidean space, forming the foundation of modern measure theory and integration.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.