Estimation and Regularity for the Maximum Lower Solution of a Unilateral Problem