prove sequence is decreasing using PMI

Printable View