[math-fun] A value of the Rogers-Ramanujan continued fraction