OEIS A229580 mini challenge (RPL)

[Gerson W. Barbosa]

Here is my wp34s program:

001 LBL A
002 STO+ X
003 2^x
004 DEC L
005 RCL* L
006 #008
007 /
008 CEIL
009 END


I am looking forward to your RPN (better HP calculators, I now – but I was lazy) and RPL solutions.
Thank you all for your interest and participation!

Gerson.

Edited to fix a typo. Thank you, brickviking ! :-)