Mean dimension of full shifts - Masaki Tsukamoto (2017)