下列判断正确的是
A. 若 $y=f(x)$ 是一次函数, 满足 $f(f(x))=4 x+9$, 则 $f(x)=2 x+3$
B. 命题 “ $\exists x \in(0,+\infty), x^2>2^x$ ” 的否定是 “ $\forall x \in(0,+\infty), x^2 \leq 2^x$ ”
C. 函数 $f(x)=\frac{1}{2} x^2+2$ 的定义域为 $D$, 值域 $B=\{4\}$, 则满足条件的 $f(x)$ 有 3 个
D. 关于 $x$ 的不等式 $a x^2+b x+c>0$ 的解集为 $(-2,3)$, 则不等式 $c x^2-b x+a < 0$ 的解集为 $\left(-\frac{1}{2}, \frac{1}{3}\right)$