A function vanishing at the left endpoint whose zeros are upward crossings is positive at the right endpoint

Initializing...

A function vanishing at the left endpoint whose zeros are upward crossings is positive at the right endpoint · Prove2Me