{"schema":"vela.problem-packet.v0.1","problem":1125,"statement":"Let $f:\\mathbb{R}\\to \\mathbb{R}$ be such that\\[2f(x) \\leq f(x+h)+f(x+2h)\\]for every $x\\in \\mathbb{R}$ and $h>0$. Must $f$ be monotonic?","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}