With rows indexed by outputs and columns by inputs , the channel matrix is
This is a binary erasure channel with erasure probability . Conditional on no erasure, the input is recovered exactly, whereas an erasure supplies no information. Thus
which is maximized by the uniform input distribution. Therefore