4√7＜ln3⁸7²
4√7＜4×2.646=10.584
ln3⁸7²=8ln3+2ln7＞8×1.098+2×1.946=12.676＞10.584＞4√7
则4√7＜8ln3+2ln7
故ln7-4√7/7＞ln7-(8ln3+2ln7)/7=(5ln7-8ln3)/7=ln(7⁵/3⁸)/7
囗

这谁想得到啊

这个式子好像b站数学竞赛飞哥讲浙江某一堆根号的导数题的时候见过

做老浙江卷压轴题啊
那这些奇奇怪怪的式子你就需要习以为常了