Wooley_Elementary_Discrete_Inequality