horse betting trifecta: Efficient ticket math for five-horse bets