Yes, I think that this is indeed true for nonnegative scalars k. The proof is not so hard: just show that S is an upper bound and that no lower upper bound exists.