Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4Comments on Hacker News | Source