f(x:y:s)|x<=y=x:f(y:s)|True=f(x:s)
f x=x
main=interact f