7918

7918 is the smallest known number n for which the value of BB(n) cannot be proven in ZFC.