自己レス申し訳ありません。
等立体角射影射影方式の魚眼レンズの、立体角に対する像高の計算式を調べてみました。
h = 2 f sin(θ/2)
となりますので、f=4.5mm の場合、2πのイメージサークルは、12.7mmですね。
DX フォーマットの場合、上下に約1.5mmの余黒が生じます。