A necessary and sufficient regularity condition to have bounded multipliers in nonconvex programming