prove H_T less than or equal to S_n

Printable View