Redundancy and optimality of codes for infinite-entropy sources | IEEE Conference Publication | IEEE Xplore