結果 : how to.prove if something is an increasing function