ファインマン–カッツの公式
が言える。ただし、
x ∧ y := max ( x , y ) , {\displaystyle \;x\land y:=\max(x,y),}
、
1 S := { 1 if S is true. 0 otherwise , {\displaystyle {\mathbf {1} }_{S}:={\begin{cases}1&{\mbox{if S is true.}}\\0&{\mbox{otherwise}},\end{cases}}\;}
である。ここで、右辺第1項は