Solution
Fragment of a discussion from User talk:RobertFraser
I think I made a typo and accidentally had the inequality going the wrong way. I've changed the solution again. Do you think this is better?
RobertFraser (talk)
Thank you for pointing this out! I must have just been half-asleep when I wrote this solution
RobertFraser (talk)