If pi is normal, which is likely but unproven.