// Test predefined.
$ max_(1<=n<=m) n $