Recently, user selection algorithms in combination with linear pre- coding have been proposed that achieve the same scaling as the sum capacity of the MIMO BC. In this work, we study the properties of four user selection algorithms in conjunction with beamforming that guarantee certain SINR requirements under transmit power minimization. It is shown that for a large number of transmit antennas, the norm-based user selection performs close to the optimum. The results are illustrated by various numerical simulations.