Let D_x(n) = n↑↑↑↑↑... x arrows... ↑↑↑↑↑n,
meaning that D_1(n) = n↑n,
D_2(n) = n↑↑n,
D_3(n) = n↑↑↑n,
and so on...
D_ω(n) = D_n(n) = n↑↑↑↑↑... n arrows... ↑↑↑↑↑n.
Now, let D_ω(100) = N
D_ω(N) = N_2
D_ω(N_2) = N_3
D_ω(N_3) = N_4
and so on...
Dome is equal to N_N.
f_ω+1(f_ω(100)) > Dome
Domeplex is equal to N_N_N, which is less than f_ω+1(f_ω+1(f_ω(100))).