Το ολοκλήρωμα της ημέρας 13/12/2023

194. Nα αποδειχθεί ότι

$\int_e^{4e} \dfrac{dx}{lnx-ln2} \geq \dfrac{90e}{34ln2+15}$.