{
  "domain": "mathematics",
  "topics": [
    "analysis",
    "mathematical-physics"
  ],
  "type": "proof",
  "also": [
    "construction"
  ],
  "source": {
    "key": "alphaevolve",
    "name": "AlphaEvolve Repository of Problems",
    "url": "https://google-deepmind.github.io/alphaevolve_repository_of_problems/problems/19.html",
    "id": "19",
    "curator": "Google DeepMind",
    "poser": "Rafael D. Benguria and Michael Loss",
    "status": "open",
    "as_of": "2026-10-20",
    "catalog": "0521c19bbd38"
  },
  "review": true,
  "approval": "first-time"
}