On An Inequality about Euler’s totient function | Synapse