A Short Proof that Some Mappings of the Unit Ball of ℓ2 Are Never Nonexpansive. - Jesús Ferrer; Enrique Llorens-Fuster (Am. Math. Mon., 2020)