[math-fun] Amusing math problem

10 Jul 2020

      For some reason I only got Gareth’s cool solution. Below is the obvious one I sent just to Dan.

-Veit

On 10/07/2020 12:06, J.P. Grossman wrote:
Another short solution:
[...]

Oh, that's _very_ nice.

--
g

Begin forwarded message:

From: Veit Elser <ve10@cornell.edu<mailto:ve10@cornell.edu>>
Subject: Re: [math-fun] Amusing math problem
Date: July 8, 2020 at 4:10:07 PM EDT
To: Dan Asimov <dasimov@earthlink.net<mailto:dasimov@earthlink.net>>

g(x)=log f(x)

* = int_0^1 exp(g(x+c) - g(x)) dx >= int_0^1 (1 + g(x+c) - g(x)) dx = 1

-Veit