// maximum expected steps in first K rounds
Rmax
=?[
F
s1
>
3
&
s2
>
3
]