c'est un exo très facile à démontrer
on suppose que a> b>c >d
puisque d>_2 et a ,b,c et d sont des entiers naturels on a
c>_3 et b>_4 et a>_5
donc
1-1/a^2 >_ 24/25 , 1-1/b^2 >_ 15/16 , 1-1/c^2 >_ 8/9
et 1-1/d^2 >_ 3/4
en multipliant on aura
rac((1-1/a^2)(1-1/b^2)(1-1/c^2)(1-1/d^2)) >_
rac(24/25 . 15/16 . 8/9 . 3/4)=rac(3/5)
et puisque rac(3/5)>_ rac(2)/2 on obtient l'inégalité désirée