Formal Reasoning about Expectation Properties for Continuous Random Variables