An inequality on guessing and its application to sequential decoding | IEEE Conference Publication | IEEE Xplore