Lower Semicomputable

어떤 함수값을 아래에서 점점 증가하는 유한 계산값으로 근사할 수 있는 성질입니다. 근사값이 감소하지 않으므로 언젠가 실제 값에 도달하거나 임의의 정밀도에 가까워질 수 있지만, 일반적으로 posterior를 언제까지 계산해야 하는지 알 수 없다는 한계가 있습니다.