有病率：一様分布
感度：最頻値0.6標準偏差0.1のベータ分布
特異度：最頻値0.9標準偏差0.05のベータ分布
として検査陽性数は有病率＊感度＋（１−有病率）＊（１−特異度）の確率に従う二項分布

というモデルでMCMCすると

https://i.imgur.com/Ay0I4Wx.png

有病率
mean lower upper
0.002678327 0.000029215 0.005582318

感染者数
> c(0.002678327, 0.000029215, 0.005582318)*8900000
[1] 23837.11 260.01 49682.63

という結果になった。

検査陽性数が少ないから信頼区間幅が広くなるなぁ。
エントリーに5以下があると正規分布での近似が悪くなると習ったような記憶がある。