(Lower bound) Pomoci tohoto omezeni zadame jake nejnizsi hodnoty muze promenna nabyvat.