x < 5^y real