Let Kn be the set of all n×n lower triangular (0,1)-matrices with each diagonal element equal to 1, Ln={YYT:Y∈Kn} and let cn be the minimum of the smallest eigenvalue of YYT as Y goes through Kn. The Ilmonen–Haukkanen–Merikoski conjecture (the IHM conjecture) states that cn is equal to the smallest eigenvalue of , where Y0∈Kn with for i>j. In this paper, we present a proof of this conjecture. In our proof we use an inequality for spectral radii of nonnegative matrices.