lower and upper solutions