It's a bound, non-negative function on [0,1], equal 0 at 0 and 1 and having non-zero values at least in some points on (0,1). You are saying it's never been proven that such a function will have a maximum value somewhere in (0,1) in the US? Your proof of the opposite, unfortunately, does not seem right.