Nonexistence of steady waves with negative vorticity

We prove that no two-dimensional Stokes and solitary waves exist when the vorticity function is negative and the Bernoulli constant is greater than a certain critical value given explicitly. In particular, we obtain an upper bound $F \lesssim \sqrt{2}$ for the Froude number of solitary waves with a negative constant vorticity, sufficiently large in absolute value.