How big is the biggest possible planet?