How to do this ?

[spare lance]

⊰ŠԩąƉŏώ⊱

[celest mirage]

id rewrite both terms into the products then look at the same things on both sides and cross them out

[unreal spindle]

That's what I tried but didn't suceed

[unreal spindle]

<@&286206848099549185>

[plain shadow]

I think you can actually, takes a while but it's doable

Did it just now but im going to bed now so ill respond in the morning

[unreal spindle]

I managed to get there : $10k^2n^2-3k^3n-10kn^2-18n^2-10n+16k^2n-4k^3+2kn-8kn^3-8n^3+4k^2+2k \geq 0$

[spare lance]

⊰ŠԩąƉŏώ⊱

[unreal spindle]

But from there I struggle to find factorization that would show that it's always positive

[unreal spindle]

oh no it's still wrong with k=n=1

@plain shadow could you show how you did it

[unreal spindle]

@plain shadow Where are you ??

[unreal spindle]

<@&286206848099549185>

[unreal spindle]

<@&286206848099549185>