.
casino win probability gcdf