Let broken vertical bar broken vertical bar center dot broken vertical bar broken vertical bar(F) denote the Frobenius norm of matrices and let |G| denote the absolute value of a square complex matrix G. We prove the following conjecture posed by Eun-Young Lee in 2010: broken vertical bar broken vertical bar A + B broken vertical bar broken vertical bar(F) <= root 1 + root 2/ 2 broken vertical bar broken vertical bar |A| + |B| broken vertical bar broken vertical bar(F) for any square complex matrices Aand Bof the same order, where the constant root 1+root 2/2 is best possible. (c) 2022 Elsevier Inc. All rights reserved.