A lower bound on the dimension of minimal positive realizations for discrete time systems