Interesting inequality

 

v20240901