log(x) = min_s (e^s * x - s - 1) for x > 0

{
  "doc": "lin-2023-dual-balancing.md",
  "context": "Mathematical equivalence showing logarithm transformation recovers IMTL-L in the limit",
  "norm_label": "log(x) = min_s (e^s * x - s - 1) for x > 0",
  "graphify_id": "proposition_3_1",
  "source_file": "lin-2023-dual-balancing.md",
  "imported_from": "/Users/antonborzov/Documents/Research.nosync/papers/extract_typed_out/lin-2023-dual-balancing/graph.json",
  "extracted_type": "finding",
  "source_location": "Proposition 3.1",
  "graphify_file_type": "finding"
}