Define min (4/45)

Define min