If you start with you can arrive at your conclusion.
Sorry but why would you start with this? On what basis? It's establishing why S > 4ar in the first place that is bugging me. I am happy with solving the inequality that follows to show that r = 1/2 is the exception.