已知π<a