Je ne sais pas si c'est ainsi qu'il faut procéder, mais ton procédé fonctionne. Tu peux même te dispenser de l'inégalité (a²+b)² >= a4 + b² qui n'est pas utilisée. C'est plutôt (a²-b)² >= 0 qui donne a4 + b² > 2a²b
There are more things in heaven and earth, Horatio, Than are dreamt of in your philosophy.