If X is infinite-dimensional, this proof will fail as there is no guarantee that the supremum M exists.
X が無限次元のときには、この証明は上限 M の存在を保証できずに破綻する。