Em ação de mandado de segurança não pode o Poder Judiciário rever a pena de demissão imposta a servidor público pela administração, ainda que com fundamento no princípio da proporcionalidade. Nesse caso, o controle jurisdicional não é amplo e se limita a aspectos formais do procedimento administrativo que culminou com a aplicação da sanção impugnada.