O enunciado pede para mostrar que, para quaisquer x e y reais, vale
|x!|\ge |(x+i y)!|.
O conteúdo aqui é a extensão do factorial a números reais e complexos via a função Gamma, usando sua representação integral de Euler e a desigualdade triangular para integrais de funções complexas.