However, the idea that the InfoWars brand is worth less than $10 million is a bit silly to me given its reach among crazy (and highly manipulable) people, and the low size of both bids (and the fact that only people intimately involved in bankruptcy procedures knew when and how to put in bids) suggests that the auction process was probably not run correctly.
There were rumblings that Elon Musk was going to put in a big bid.
The list of things Musk makes noise about but does not do gets a little longer.
(Please note: this is not a case of ∀x ∈ X ¬P(x) ≣ ¬∀x ∈ X P(x). ∀x ∈ X ¬P(x) means "for all x not-P", while ¬∀x ∈ X P(x) reads "there exists no x that P", i.e. there is no party that is happy with the bid, which is either a false statement or not the intended meaning. This is actually a common, but not well-known mistake, so I'm pointing it out.)
EDIT: I even found a reference: https://en.wikipedia.org/wiki/Existential_quantification