Chaitin's constant