>>147
まずその不等式を使おうと思わないでござる

>>162
(a^4 -a+3)^2 ≧ 3(a^6 +2)
何乗かすれば必ずヘルダーが使えそうな形に持っていけるのだろうか
たまたまできただけなのか