.
casino win probability dmnf