Setup

b : = $\func$rand$\left(\vphantom{ 1,5}\right.$1, 5$\left.\vphantom{ 1,5}\right)$

c : = $\func$rand(1, 5)

Condition: b < c