Fischer M J and Lynch N A have proved the round bound needed by the Byzantine consensus in their paper A lower bound for the time to assure interactive consistency. In short