User blog comment:Deedlit11/Ordinal Notations V: Up to a weakly Mahlo cardinal/@comment-5029411-20130811125215/@comment-5150073-20130811171746

If you want to get I(2)[n], it is unavoidable that you must have I[n].