Exact upper and lower bounds on the difference between the arithmetic and geometric means - Iosif Pinelis (2015)