栈溢出的条件是当前使用的栈空间超过了栈的总空间。因此，正确的判断条件是S * D > M，表示在最大递归深度下所需的栈空间超过了可用的栈空间。选项B错误，因为它表示不会发生栈溢出。选项C错误，因为它没有考虑每次递归调用的栈空间，而是简单相加。选项D错误，因为它同样没有考虑栈空间的乘法关系。