Wooley's Discrete Inequality

Angeliki Koutsoukou-Argyraki 📧

October 2, 2024

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.

Abstract

This is a formalisation of the proof of an inequality by Trevor D. Wooley attesting that when $\lambda > 0$, $$\min_{r \in \mathbb{N}}(r + \lambda/r) \leq \sqrt{4 \lambda +1}$$ with equality if and only if $\lambda = m(m-1)$ for some positive integer $m$. The source is the note An Elementary Discrete Inequality by T. D. Wooley.

License

BSD License

Topics

Related publications

Session Wooley_Elementary_Discrete_Inequality