Lower bound: El mayor valor de C que es estrictamente menor.