老齢基礎年金の年金額は以下の計算式で求めます。2023年度における国民年金の満額の基礎年金額は795,000円です。厚生年金の被保険者期間は、第2号被保険者として国民年金に加入していることになるので保険料納付済期間としてカウントします。20歳から60歳までの480カ月（40年×12か月）分の保険料を納めると満額が支給されますが、Aさんには保険料未納期間（30月）がありますので、その分が減額して支給されることになります。

Aさんの保険料納付済期間は「480月－30月＝450月」ですので、老齢基礎年金の年金額の計算式は、

　795,000円×450月480月＝745,312.5円
（円未満四捨五入）745,313円

したがって[1]の式が適切です。

※老齢基礎年金の額は、20歳から60歳になるまでの間にどれだけ国民年金の被保険者であったかどうかで支給額が決まるので、60歳から65歳までの厚生年金被保険者期間は無関係です。