x^y - y^x < 0