https://www.wired.com/2017/04/elusive-math-proof-found-almost-lost
$latex boxed {P (a + b) geq P (a) times P (b)}&fg=aa0000&s=3$
Case “=” : if (a, b) independent
Case “>” : if (a, b) dependent
Thomas Royen used only high-school math (function, derivative) in his proof in 2014. He then published it in arxiv.org website – likePerelman did with the “Poincaré Conjecture”.
Mathtuition88 