An optimal lower-bound for nonregular languages