シーケンス図の「loop」フラグメントにおいて、ループの下限・上限回数を指定する構文として正しいものはどれか。

UMLの仕様では、loop演算子の直後に括弧を用いて loop(min, max) のように回数制約を記述する。