User blog comment:BlauesWasser/Phela Function (Infinitely powerful)/@comment-31663462-20180222114141/@comment-1605058-20180223150606

Yes. If GCH is false, then in fact for at least one n we have strict inequality.