expected_condVar_le_variance