>>727

たろうの予想は、
　m1(b,a) ≒F[ε_(ω･b + a) + 1]　　...ただし、b > 0

[2] の３行目は
　mn(a+1,0) f_{n-1}...f_1 f_0 := mn(a, f_0) f_{n-1}...f_1 f_0
で十分な気がする。