∞-topos does not exist