// RESULT: 1.0
Pmax=? [ F t=1 ];

// RESULT: 0.1
Pmin=? [ F t=1 ];

// RESULT: 3.0
Rmax=? [ F t>0 ];

// RESULT: 1.0
Rmin=? [ F t>0 ];