real-analysis-japan