▶ 
Strict version of probabilistic Markov inequality

▶ 
Absolute moment inherits finiteness from greater exponents for random real number

▶ 
Complexlinearity of real expectation

▶ 
Expectation of a gaussian random real number

▶ 
Expectation with dual probability distribution function

▶ 
Isotonicity of real expectation

▶ 
Jensen's inequality for expectation

▶ 
Markov lower bound on unsigned basic expectation

▶ 
Probabilistic Chebyshov's inequality for square function

▶ 
Probabilistic Chernoff inequality

▶ 
Probabilistic Markov's inequality

▶ 
Reallinearity of complex expectation

▶ 
Triangle inequality for signed basic expectation
