The minimax redundancy is a lower bound for most sources | IEEE Conference Publication | IEEE Xplore