Define min (3/45)

Define min