A theoretical approach to inference based on maximum observations