<<
1
>>
Pmin
=? [
F
<=
k
job_arrived1
>
0
]