Is it possible to prove which Busy Beaver number is the highest that can be determined?