ramanujan-soldner constant