Guessing red from a lopsided deck
Asked at Jane Street, Optiver
A shuffled deck has red and black cards, dealt face-up one at a time. At any moment you may stop and bet that the next card is red; you win if it is. You always know the counts remaining.
What is the best win probability any stopping rule can achieve? Prove your answer.