pull down to refresh

I'm leaning towards this answer. It holds for 0.25, 0.5, and 0.75.
10 million random runs for some x between 0.0 and 1.0
x=0.000 p=0.0000 x=0.050 p=0.0499 x=0.100 p=0.0999 x=0.150 p=0.1499 x=0.200 p=0.2001 x=0.250 p=0.2500 x=0.300 p=0.2999 x=0.350 p=0.3499 x=0.400 p=0.4000 x=0.450 p=0.4501 x=0.500 p=0.5001 x=0.550 p=0.5501 x=0.600 p=0.5999 x=0.650 p=0.6498 x=0.700 p=0.7001 x=0.750 p=0.7498 x=0.800 p=0.7999 x=0.850 p=0.8500 x=0.900 p=0.8998 x=0.950 p=0.9501 x=1.000 p=1.0000
reply
Careful there, Faketoshi might not be able to understand your code snippet there, using unsigned integers (I presume that's what they are, I am not proficient in cpp)~~
reply
c, not c++
reply
Well, that's one way of proving it :)
reply
Yes, it is $x$.
Now, can one prove it?
reply
I'm sure someone can, but probably not me. I don't have any clever ideas for how to extend the case-based reasoning I was using and I certainly don't have time to do all the cases.
reply
Well, you correctly answered the initial question, so you did what was asked. I should have been clearer in asking for a formal proof.
reply