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 λ>0, minrN(r+λ/r)4λ+1 with equality if and only if λ=m(m1) 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