Race to the Bottom: Betting Against LETFs Using Math