How To Prove Something Is An Increasing Function