Liouville-ness is a very strict requirement. Instead, we can define "K-liouville numbers, that for all n < K have this property", and then pi is at least a 3-liouville number, which is pretty good.