Improving an inequality for the divisor function - Jeffrey P. S. Lay (2017)