范程式 Pi的逻辑公式