Porn: prove pi