Pump.fun market cap (FDV) <$4B one day after launch?

This market will resolve to "Yes" if the Fully Diluted Valuation of Pump.fun's token is less than $4,000,000,000 1 day after launch. Otherwise, the market will resolve to "No." For the purposes of this market "locked" tokens or non-swappable tokens will not be considered a launch. "1 day after launch" is defined as 24 hours after launch. The resolution source for this market is the most liquid price source available. If Pump.fun doesn't launch a token by July 31, 2025, 11:59 PM ET, this market will resolve to "No."