φ(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