A Totient Function Inequality