add lower bound for w