I just realized what I described is not giving a lower bound.