Does Denjoy's Probabilistic Interpretation actually "prove" that the Mertens function ratio between numbers with odd number of distinct prime factors and even number of prime factors is 1? Or does it just provide an estimate/gess based on a heuristic approach?
If not, then would one get credit if he/she actually formally prove that it does?