This reminds me of Ken Thompson’s speech on trusting trust. The recursive/meta nature of it all has helped me explain to those unfamiliar that this is such a waste of time. Education is where it’s at, but I’m preaching to the choir here on HN.
I'm trying to understand 5). If you're claiming that both (A) y > x, and (B) x^y > y^x hold, then x^y > y^x ("will always be larger") holds. You're satisfying your claim by assumption. Nothing new is deduced.
However, if only A) needs to be satisfied: y = 3, x = 2 is a counterexample, as x^y = 2^3 = 8 < 9 = 3^2 = y^x.
edit: looks like someone had the same thought as me as I was typing my reply!