loglogPn/logPn は

log (logPn/logPn)
log(log(Pn/logPn))
(log(logPn))/logPn

ホントはどれ?