x^y - y^x > 0