This is good, as it is a weaker form of the main law.

Also, optimizing a random plan should make cost <= initial cost.