(Translated by https://www.hiragana.jp/)
[2403.18596] A sharp Eells-Sampson type theorem under positive sectional curvature upper bounds