Almost-sure BIC consistency for Property 2

In the setting of the preceding proposition, consider a countable class of maps and the BIC penalty. BIC consistency conjecture. We almost surely have Property 2 from the proposition for the BIC penalty studied by Csiszár and Shields. This would establish the required eventual model-selection consistency for the relevant Markov-process model class; the supplied text does not state whether this claim has been proved.