Given,
Domain and range of function,
f:[2,4]→R
(xlogex)f′(x)+(logex)f(x)+f(x)≥1,x∈[2,4]
⇒(xlogex)dxdf(x)+(logex)f(x)dxd(x)+xf(x)dxd(logex)≥1
⇒dxd[xlnxf(x)]≥1
⇒dxd[xlnxf(x)]≥dxd(x)
⇒dxd[xlnxf(x)−x]≥0
Hence, h(x)=x(lnx)f(x)−x is a increasing function,
∴h(x)≥h(2),x∈[2,4]
⇒xlnx×f(x)−x≥2ln2×f(2)−2
⇒xlnxf(x)−x≥ln2−2
Similarly, h(x)≤h(4)
⇒xlnxf(x)−x≤ln4−4
So, xlnxln2−2+lnx1≤f(x)≤xlnxln4−4+lnx1
Now for x∈[2,4]
xlnxln4−4+lnx1≤2ln2ln4−4+ln21=1−ln21<1
⇒f(x)≤1forx∈[2,4]
Now for x∈[2,4]
xlnxln2−2+lnx1≥4ln4ln2−2+ln41=4ln4ln2−2+ln41=81+4ln21>81
Hence, f(x)≥81
Hence both A & B are correct.
Note this question was bonus in Jee Main 2023 April session, as LMVT on f(x)⋅xlnx can't be satisfied.
Hence, no such f(x) exist.