Is 5*minmn+7 always greater than 2*max(m,n)+2*minmn+1? If so, why is the comment in zgesdd written the way it is?