leancrew.com/all-this/2025/12/some-lotto-math/