φ(m) steht ja für die Anzahl aller natürlichen Zahlen n, welche in der Menge Am = {1,2, ...., m} liegen und zu m teilerfremd sind.
Da die Menge Am selber nur m Elemente besitzt, wäre φ(m) ≥ m nur möglich, wenn die Gleichheit φ(m) = m besteht. Und dies ist eben nur der Fall, wenn m=1 ist. Schon für m=2 trifft es nicht mehr zu, weil die Zahl 2 nicht teilerfremd zu 2 ist.
https://de.wikipedia.org/wiki/Teilerfremdheit