// RESULT: 0.25
multi(Pmax=? [F x=3],P>=0.75[F x=2])