Question 3
Let $x$ and $y$ be positive real numbers such that
$$
2^{x^2} = 16^y \quad \text{and} \quad \log_{\sqrt{2017}} x + \log_{\sqrt{2017}} y \gt 0.
$$
Prove that $y \gt \frac{1}{2}$. (Kristina Ana Škreb)
$$
2^{x^2} = 16^y \quad \text{and} \quad \log_{\sqrt{2017}} x + \log_{\sqrt{2017}} y \gt 0.
$$
Prove that $y \gt \frac{1}{2}$. (Kristina Ana Škreb)