z>t posons z=t+a tel que a>0
mnt linegalité equivaut :
z^3-t^3-3(z-t)+4>=0
<==> g(a)=a^3-3at²-3a(t²+1)>=0 ♣
considerons la fct de varuable a et de parametre t ( §?)
on a g'(a)=3a²-6at²-3(t²+1)
delta >0 ==> g est strictement croissante sur R+
et on lim g(t-->0)=0
donc qq soit a>0 on a g(a)>0 ( et pour tt t de R voyons )
alors linegalité ♣ est juste d'ou la tienne aussi.