>>104
Wolframを使って分数解を算出。


In[8]:= f /@ AOB // Total

38387971971993385761069267383300670743
Out[8]= ---------------------------------------
500000000000000000000000000000000000000

In[9]:= N[%,20]

Out[9]= 0.076775943943986771522

東大卒やエリート高校生による検算を希望します。