] >
|S|<|T| and they are both finite, therefore we can construct an injective function f:S↦T that maximize the number of images in T. But |S|<|T|, so there is at least one y∈T that is not in f(S). So f can not be surjective.
Maison